[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: wdbuild: Remove Wikibase-buildentry.php config file (empty)

2017-11-30 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/394216 )

Change subject: wdbuild: Remove Wikibase-buildentry.php config file (empty)
..


wdbuild: Remove Wikibase-buildentry.php config file (empty)

Change-Id: I0af71546ad4bd1d74dabbfc3a0832ac7f779d273
---
D wmf-config/Wikibase-buildentry.php
M wmf-config/Wikibase.php
2 files changed, 17 insertions(+), 25 deletions(-)

Approvals:
  Addshore: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/wmf-config/Wikibase-buildentry.php 
b/wmf-config/Wikibase-buildentry.php
deleted file mode 100644
index 573420c..000
--- a/wmf-config/Wikibase-buildentry.php
+++ /dev/null
@@ -1,22 +0,0 @@
-https://github.com/wikimedia/mediawiki-extensions-Wikidata/blob/master/Wikidata.php
- * This file has been created as part of 
https://phabricator.wikimedia.org/T176948 (Killing the Wikidata build)
- * Various things have been changed (with the originals left commented)
- */
-
-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";
-   include_once "$IP/extensions/WikibaseQuality/WikibaseQuality.php";
-   include_once 
"$IP/extensions/WikibaseQualityConstraints/WikibaseQualityConstraints.php";
-}
-
-if ( !empty( $wmgUseWikibaseClient ) ) {
-   include_once "$IP/extensions/Wikibase/client/WikibaseClient.php";
-   wfLoadExtension( 'WikimediaBadges' );
-   if ( !empty( $wmgUseArticlePlaceholder ) ) {
-   wfLoadExtension( 'ArticlePlaceholder' );
-   }
-}
diff --git a/wmf-config/Wikibase.php b/wmf-config/Wikibase.php
index dba9874..2ea0822 100644
--- a/wmf-config/Wikibase.php
+++ b/wmf-config/Wikibase.php
@@ -1,8 +1,22 @@
 https://gerrit.wikimedia.org/r/394216
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0af71546ad4bd1d74dabbfc3a0832ac7f779d273
Gerrit-PatchSet: 8
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Addshore 
Gerrit-Reviewer: Addshore 
Gerrit-Reviewer: Aude 
Gerrit-Reviewer: Hoo man 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: wdbuild: Remove Wikibase-buildentry.php config file (empty)

2017-11-29 Thread Addshore (Code Review) 
Addshore has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/394216 )

Change subject: wdbuild: Remove Wikibase-buildentry.php config file (empty)
..

wdbuild: Remove Wikibase-buildentry.php config file (empty)

Change-Id: I0af71546ad4bd1d74dabbfc3a0832ac7f779d273
---
D wmf-config/Wikibase-buildentry.php
M wmf-config/Wikibase.php
2 files changed, 17 insertions(+), 27 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/16/394216/1

diff --git a/wmf-config/Wikibase-buildentry.php 
b/wmf-config/Wikibase-buildentry.php
deleted file mode 100644
index 001e285..000
--- a/wmf-config/Wikibase-buildentry.php
+++ /dev/null
@@ -1,24 +0,0 @@
-https://github.com/wikimedia/mediawiki-extensions-Wikidata/blob/master/Wikidata.php
- * This file has been created as part of 
https://phabricator.wikimedia.org/T176948 (Killing the Wikidata build)
- * Various things have been changed (with the originals left commented)
- */
-
-$wgWikidataBuildBaseDir = $IP . '/extensions/Wikidata';
-
-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";
-   include_once "$IP/extensions/Quality/WikibaseQuality.php";
-   include_once 
"$IP/extensions/Constraints/WikibaseQualityConstraints.php";
-}
-
-if ( !empty( $wmgUseWikibaseClient ) ) {
-   include_once "$IP/extensions/Wikibase/client/WikibaseClient.php";
-   wfLoadExtension( 'WikimediaBadges' );
-   if ( !empty( $wmgUseArticlePlaceholder ) ) {
-   wfLoadExtension( 'ArticlePlaceholder' );
-   }
-}
\ No newline at end of file
diff --git a/wmf-config/Wikibase.php b/wmf-config/Wikibase.php
index dba9874..aaeab9f 100644
--- a/wmf-config/Wikibase.php
+++ b/wmf-config/Wikibase.php
@@ -1,8 +1,22 @@
 https://gerrit.wikimedia.org/r/394216
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I0af71546ad4bd1d74dabbfc3a0832ac7f779d273
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Addshore 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits