Addshore has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/395488 )
Change subject: Switch to extension.json for Wikidata.org
......................................................................
Switch to extension.json for Wikidata.org
Change-Id: I687138492cd9fe8dc473252ff9c7ae5610dcaefb
---
M wmf-config/Wikibase.php
M wmf-config/extension-list
2 files changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config
refs/changes/88/395488/1
diff --git a/wmf-config/Wikibase.php b/wmf-config/Wikibase.php
index 1c35afd..2f0a45a 100644
--- a/wmf-config/Wikibase.php
+++ b/wmf-config/Wikibase.php
@@ -3,7 +3,7 @@
// Load the Repo extensions
if ( !empty( $wmgUseWikibaseRepo ) ) {
include_once "$IP/extensions/Wikibase/repo/Wikibase.php";
- include_once "$IP/extensions/Wikidata.org/WikidataOrg.php";
+ wfLoadExtension( 'Wikidata.org' );
wfLoadExtension( 'PropertySuggester' );
wfLoadExtension( 'WikibaseQuality' );
wfLoadExtension( 'WikibaseQualityConstraints' );
diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index 420fa9e..4a621a9 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -155,7 +155,7 @@
$IP/extensions/Wikibase/repo/Wikibase.php
$IP/extensions/WikibaseQuality/extension.json
$IP/extensions/WikibaseQualityConstraints/extension.json
-$IP/extensions/Wikidata.org/WikidataOrg.php
+$IP/extensions/Wikidata.org/extension.json
$IP/extensions/WikidataPageBanner/extension.json
$IP/extensions/WikiEditor/extension.json
$IP/extensions/wikihiero/extension.json
--
To view, visit https://gerrit.wikimedia.org/r/395488
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I687138492cd9fe8dc473252ff9c7ae5610dcaefb
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
