wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-23 22:33:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Remove loading of style module 'mediawiki.special'"

Browse source
This commit is contained in:
jenkins-bot 2023-01-26 20:29:53 +00:00 committed by Gerrit Code Review
parent 82cc22a9f2 a06719c1d7
commit 2dac8f31df
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/SpecialReplaceText.php
View file

@ -131,9 +131,6 @@ class SpecialReplaceText extends SpecialPage {
$out = $this->getOutput();
$out->enableOOUI();
$this->setHeaders();
if ( $out->getResourceLoader()->getModule( 'mediawiki.special' ) !== null ) {
$out->addModuleStyles( 'mediawiki.special' );
}
$this->doSpecialReplaceText();
}