|
MediaWiki master
|
Listener interface for PageRecordChangedEvent. More...
Public Member Functions | |
| handlePageRecordChangedEvent (PageRecordChangedEvent $event) | |
Listener interface for PageRecordChangedEvent.
Implementations of this interface should be registered for the event type 'PageRecordChanged', see PageRecordChangedEvent::TYPE.
Definition at line 14 of file PageRecordChangedListener.php.
| MediaWiki\Page\Event\PageRecordChangedListener::handlePageRecordChangedEvent | ( | PageRecordChangedEvent | $event | ) |