wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-24 07:23:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Prevent gadget preferences from being cleaned up

Browse source 
Bug: T188966
Change-Id: I5627f014827fdbf266eb7fdb00a446f81a0c3458
This commit is contained in:
Sam Wilson 2018-04-06 08:18:46 +08:00 committed by MaxSem
parent 441302fb5e
commit 97c5bd7732
2 changed files with 15 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -108,6 +108,9 @@
],
"wgQueryPages": [
"GadgetHooks::onwgQueryPages"
],
"DeleteUnknownPreferences": [
"GadgetHooks::onDeleteUnknownPreferences"
]
},
"config": {

12
includes/GadgetHooks.php
View file

@ -20,6 +20,7 @@
*
* @file
*/
use Wikimedia\Rdbms\IDatabase;
use Wikimedia\WrappedString;
class GadgetHooks {
@ -327,4 +328,15 @@ class GadgetHooks {
$queryPages[] = [ 'SpecialGadgetUsage', 'GadgetUsage' ];
return true;
}
/**
* Prevent gadget preferences from being deleted.
* @link https://www.mediawiki.org/wiki/Manual:Hooks/DeleteUnknownPreferences
* @suppress PhanParamTooMany
* @param string[] &$where Array of where clause conditions to add to.
* @param IDatabase $db
*/
public static function onDeleteUnknownPreferences( &$where, IDatabase $db ) {
$where[] = 'up_property NOT' . $db->buildLike( 'gadget-', $db->anyString() );
}
}