wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-12-03 19:36:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Remove default gadgets from Special:GadgetUsage"

Browse source
This commit is contained in:
jenkins-bot 2015-11-02 18:35:23 +00:00 committed by Gerrit Code Review
parent 1855060e77 c23335fe5e
commit 100a7ce5d3
1 changed files with 25 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
SpecialGadgetUsage.php
View file

@ -95,6 +95,23 @@ class SpecialGadgetUsage extends QueryPage {
return false;
}
/**
* Get a list of default gadgets
* @return list
*/
protected function getDefaultGadgets() {
$gadgetRepo = GadgetRepo::singleton();
$gadgetIds = $gadgetRepo->getGadgetIds();
$gadgetsList = array();
foreach ( $gadgetIds as $g ) {
$gadget = $gadgetRepo->getGadget( $g );
if ( $gadget->isOnByDefault() ) {
$gadgetsList[] = $gadget->getName();
}
}
return $gadgetsList;
}
/**
* Format and output report results using the given information plus
* OutputPage
@ -107,13 +124,17 @@ class SpecialGadgetUsage extends QueryPage {
* @param int $offset Paging offset
*/
protected function outputResults( $out, $skin, $dbr, $res, $num, $offset ) {
$defaultGadgets = $this->getDefaultGadgets();
if ( $num > 0 ) {
$this->outputTableStart();
foreach ( $res as $row ) {
$line = $this->formatResult( $skin, $row );
if ( $line ) {
$out->addHTML( $line );
// Remove the 'gadget-' part of the result string and compare if it's present
// in $defaultGadgets, if not we format it and add it to the output
if ( !in_array( substr( $row->title, 7 ), $defaultGadgets ) ) {
$line = $this->formatResult( $skin, $row );
if ( $line ) {
$out->addHTML( $line );
}
}
}
// Close table element