jenkins-bot has submitted this change and it was merged.
Change subject: Remove defining of MEDIAWIKI constant, done in WebStart.php
......................................................................
Remove defining of MEDIAWIKI constant, done in WebStart.php
Causes a NOTICE
Notice: Constant MEDIAWIKI already defined in
/data/project/apache/common-local/php-master/includes/WebStart.php on line 79
Change-Id: I6c60ee9ebe3a122a2cf3aea60f29326db761a98e
---
M extract2.php
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extract2.php b/extract2.php
index 22d5e6f..498912a 100644
--- a/extract2.php
+++ b/extract2.php
@@ -1,7 +1,6 @@
<?php
$lang = 'meta';
putenv( "MW_LANG={$lang}" ); // notify MWMultiVersion
-define( 'MEDIAWIKI', true );
include '/apache/common/w/MWVersion.php';
include getMediaWiki( 'includes/WebStart.php' );
--
To view, visit https://gerrit.wikimedia.org/r/92800
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6c60ee9ebe3a122a2cf3aea60f29326db761a98e
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
