[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: wdbuild: Remove Wikibase-buildentry.php config file (empty)
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: AddshoreGerrit-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)
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