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

Merge "Fix for abc67edb70 - fixed error message" into REL1_31

Browse source
This commit is contained in:
Cicalese 2018-05-01 20:42:03 +00:00 committed by Gerrit Code Review
parent 36eecc7cb7 47bdb4c295
commit 441b25f47a
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/SpecialReplaceText.php
View file

@ -33,14 +33,14 @@ class SpecialReplaceText extends SpecialPage {
}
// Replace Text can't be run with certain settings, due to the
// changes they make to DB storage.
// changes they make to the DB storage setup.
if ( $wgCompressRevisions ) {
$errorMsg = "Error: text replacements cannot be run if \$wgCompressRevisions is set to true.";
$this->getOutput()->addWikiText( "<div class=\"errorbox\">$errorMsg</div>" );
return;
}
if ( $wgExternalStores ) {
$errorMsg = "Error: text replacements cannot be run if \$wgExternalStores is set to true.";
if ( !empty( $wgExternalStores ) ) {
$errorMsg = "Error: text replacements cannot be run if \$wgExternalStores is non-empty.";
$this->getOutput()->addWikiText( "<div class=\"errorbox\">$errorMsg</div>" );
return;
}