jenkins-bot has submitted this change and it was merged.
Change subject: Use $wgExtensionDirectory instead of hardcoding $IP/extensions
......................................................................
Use $wgExtensionDirectory instead of hardcoding $IP/extensions
Change-Id: Icf28a218d18df2ba90726f8b5a86621043138e48
---
M AbuseFilter.parser.php
1 file changed, 3 insertions(+), 5 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/AbuseFilter.parser.php b/AbuseFilter.parser.php
index 7fe947b..50dea87 100644
--- a/AbuseFilter.parser.php
+++ b/AbuseFilter.parser.php
@@ -1679,15 +1679,13 @@
static $replacementArray = null;
if ( is_null( $replacementArray ) ) {
- // @codingStandardsIgnoreStart Ignore global without wg
prefix.
- global $IP;
- // @codingStandardsIgnoreEnd
+ global $wgExtensionDirectory;
- if ( is_readable(
"$IP/extensions/AntiSpoof/equivset.php" ) ) {
+ if ( is_readable(
"$wgExtensionDirectory/AntiSpoof/equivset.php" ) ) {
// Satisfy analyzer.
$equivset = null;
// Contains a map of characters in $equivset.
- require "$IP/extensions/AntiSpoof/equivset.php";
+ require
"$wgExtensionDirectory/AntiSpoof/equivset.php";
// strtr in ReplacementArray->replace() doesn't
like this.
if ( isset( $equivset[''] ) ) {
--
To view, visit https://gerrit.wikimedia.org/r/282959
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Icf28a218d18df2ba90726f8b5a86621043138e48
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/AbuseFilter
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Jackmcbarn <[email protected]>
Gerrit-Reviewer: Se4598 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
