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