Addshore has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/395486 )
Change subject: Switch to extension.json for PropertySuggester
......................................................................
Switch to extension.json for PropertySuggester
Change-Id: I2ef015656e1a67b0d3233952a23fd96ec4f80546
---
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/86/395486/1
diff --git a/wmf-config/Wikibase.php b/wmf-config/Wikibase.php
index 2ea0822..65fb81b 100644
--- a/wmf-config/Wikibase.php
+++ b/wmf-config/Wikibase.php
@@ -4,7 +4,7 @@
if ( !empty( $wmgUseWikibaseRepo ) ) {
include_once "$IP/extensions/Wikibase/repo/Wikibase.php";
include_once "$IP/extensions/Wikidata.org/WikidataOrg.php";
- include_once "$IP/extensions/PropertySuggester/PropertySuggester.php";
+ wfLoadExtension( 'PropertySuggester' );
include_once "$IP/extensions/WikibaseQuality/WikibaseQuality.php";
include_once
"$IP/extensions/WikibaseQualityConstraints/WikibaseQualityConstraints.php";
}
diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index 9a9c685..c14014e 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -109,7 +109,7 @@
$IP/extensions/Poem/extension.json
$IP/extensions/Popups/extension.json
$IP/extensions/ProofreadPage/extension.json
-$IP/extensions/PropertySuggester/PropertySuggester.php
+$IP/extensions/PropertySuggester/extension.json
$IP/extensions/PoolCounter/extension.json
$IP/extensions/QuickSurveys/extension.json
$IP/extensions/Quiz/extension.json
--
To view, visit https://gerrit.wikimedia.org/r/395486
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I2ef015656e1a67b0d3233952a23fd96ec4f80546
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
