MediaWiki
master
PageProtectionChangedListener.php
Go to the documentation of this file.
1
<?php
2
3
namespace
MediaWiki\Page\Event
;
4
14
interface
PageProtectionChangedListener
{
15
16
public
function
handlePageProtectionChangedEvent
(
PageProtectionChangedEvent
$event ): void;
17
18
}
MediaWiki\Page\Event\PageProtectionChangedEvent
Domain event representing changes to page protection (aka restriction levels).
Definition
PageProtectionChangedEvent.php:23
MediaWiki\Page\Event\PageProtectionChangedListener
Listener interface for PageProtectionChangedEvents.
Definition
PageProtectionChangedListener.php:14
MediaWiki\Page\Event\PageProtectionChangedListener\handlePageProtectionChangedEvent
handlePageProtectionChangedEvent(PageProtectionChangedEvent $event)
MediaWiki\Page\Event
Definition
PageCreatedEvent.php:7
includes
Page
Event
PageProtectionChangedListener.php
Generated on Fri Feb 13 2026 00:26:31 for MediaWiki by
1.10.0