This is the complete list of members for MediaWiki\Page\Event\PageRecordChangedListener, including all inherited members.

handlePageRecordChangedEvent(PageRecordChangedEvent $event)