wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-09-23 18:29:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

Delete linter rows when pages are deleted

Browse source 
Bug: T151281
Change-Id: I3b113d0729b288683d9bc6c2f552b99ed2890f5c
This commit is contained in:
Kunal Mehta 2016-11-22 11:15:32 -08:00
parent 06671d2034
commit 70cc3ac190
2 changed files with 24 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -23,7 +23,8 @@
},
"Hooks": {
"LoadExtensionSchemaUpdates": "MediaWiki\\Linter\\Hooks::onLoadExtensionSchemaUpdates",
"EditFormInitialText": "MediaWiki\\Linter\\Hooks::onEditFormInitialText"
"EditFormInitialText": "MediaWiki\\Linter\\Hooks::onEditFormInitialText",
"WikiPageDeletionUpdates": "MediaWiki\\Linter\\Hooks::onWikiPageDeletionUpdates"
},
"APIModules": {
"record-lint": "MediaWiki\\Linter\\ApiRecordLint"

22
includes/Hooks.php
View file

@ -20,8 +20,11 @@
namespace MediaWiki\Linter;
use Content;
use DatabaseUpdater;
use EditPage;
use MWCallableUpdate;
use WikiPage;
class Hooks {
/**
@ -62,4 +65,23 @@ class Hooks {
] );
$out->addModules( 'ext.linter.edit' );
}
/**
* Hook: WikiPageDeletionUpdates
*
* Remove entries from the linter table upon page deletion
*
* @param WikiPage $wikiPage
* @param Content $content
* @param array &$updates
*/
public static function onWikiPageDeletionUpdates( WikiPage $wikiPage,
Content $content, array &$updates
) {
$id = $wikiPage->getId();
$updates[] = new MWCallableUpdate( function() use ( $id ) {
$database = new Database( $id );
$database->setForPage( [] );
} );
}
}