Page Menu
Home
WickedGov Phorge
Search
Configure Global Search
Log In
Files
F4055915
PageDeletedListener.php
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Flag For Later
Award Token
Size
372 B
Referenced Files
None
Subscribers
None
PageDeletedListener.php
View Options
<?php
namespace
MediaWiki\Page\Event
;
/**
* Listener interface for PageDeletedEvents.
*
* Implementations of this interface should be registered for the
* event type 'PageDeleted', see PageDeletedEvent::TYPE.
*
* @see PageDeletedEvent
* @since 1.45
*/
interface
PageDeletedListener
{
public
function
handlePageDeletedEvent
(
PageDeletedEvent
$event
):
void
;
}
File Metadata
Details
Attached
Mime Type
text/x-php
Expires
Aug 16 2026, 01:49 (12 w, 2 d ago)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
eb/d0/af52a0f34ad1aed2d8d6914efe3a
Default Alt Text
PageDeletedListener.php (372 B)
Attached To
Mode
rMWPROD MediaWiki Production
Attached
Detach File
Event Timeline
Log In to Comment