jenkins-bot has submitted this change and it was merged.
Change subject: Specify path to extension.json
......................................................................
Specify path to extension.json
This is needed if ArticlePlaceholder is installed in
a non-standard extension location, such as in the
Wikidata build. Otherwise, the extension is not loaded
and everything breaks.
Change-Id: I51755fe8f4cab68a362e17cf1c2662f552dfe959
---
M ArticlePlaceholder.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hoo man: Looks good to me, approved
jenkins-bot: Verified
diff --git a/ArticlePlaceholder.php b/ArticlePlaceholder.php
index b9c0169..19cf052 100644
--- a/ArticlePlaceholder.php
+++ b/ArticlePlaceholder.php
@@ -12,7 +12,7 @@
*/
if ( function_exists( 'wfLoadExtension' ) ) {
- wfLoadExtension( 'ArticlePlaceholder' );
+ wfLoadExtension( 'ArticlePlaceholder', __DIR__ . '/extension.json' );
// Keep i18n globals so mergeMessageFileList.php doesn't break
$wgMessagesDirs['ArticlePlaceholder'] = __DIR__ . '/i18n';
$wgExtensionMessagesFiles['ArticlePlaceholder'] = __DIR__ .
'/ArticlePlaceholder.alias.php';
--
To view, visit https://gerrit.wikimedia.org/r/282126
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I51755fe8f4cab68a362e17cf1c2662f552dfe959
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ArticlePlaceholder
Gerrit-Branch: master
Gerrit-Owner: Aude <[email protected]>
Gerrit-Reviewer: Hoo man <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
