PageRecordChangedListener.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Page\Event;
 
interface PageRecordChangedListener {
 
    public function handlePageRecordChangedEvent( PageRecordChangedEvent $event ): void;
 
}
 
class_alias( PageRecordChangedListener::class, 'MediaWiki\Page\Event\PageStateListener' );