jenkins-bot has submitted this change and it was merged.
Change subject: Add wikidata (repo) dblist
......................................................................
Add wikidata (repo) dblist
Change-Id: Ic53124d08979d0954aa1f354cd4cf7c2c281b494
---
A docroot/noc/conf/wikidata.dblist
M docroot/noc/createTxtFileSymlinks.sh
A wikidata.dblist
M wmf-config/CommonSettings.php
4 files changed, 4 insertions(+), 1 deletion(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/docroot/noc/conf/wikidata.dblist b/docroot/noc/conf/wikidata.dblist
new file mode 120000
index 0000000..f3ce990
--- /dev/null
+++ b/docroot/noc/conf/wikidata.dblist
@@ -0,0 +1 @@
+../../../wikidata.dblist
\ No newline at end of file
diff --git a/docroot/noc/createTxtFileSymlinks.sh
b/docroot/noc/createTxtFileSymlinks.sh
index b136ac0..c15737e 100755
--- a/docroot/noc/createTxtFileSymlinks.sh
+++ b/docroot/noc/createTxtFileSymlinks.sh
@@ -73,6 +73,7 @@
small.dblist
special.dblist
wikibooks.dblist
+ wikidata.dblist
wikidataclient.dblist
wikimania.dblist
wikimedia.dblist
diff --git a/wikidata.dblist b/wikidata.dblist
new file mode 100644
index 0000000..2a493a4
--- /dev/null
+++ b/wikidata.dblist
@@ -0,0 +1 @@
+wikidatawiki
diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 82f59e4..e0db299 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -194,7 +194,7 @@
require( "$wmfConfigDir/InitialiseSettings.php" );
$wikiTags = array();
- foreach ( array( 'private', 'fishbowl', 'special', 'closed',
'flaggedrevs', 'small', 'medium', 'large', 'wikimania', 'wikidataclient' ) as
$tag ) {
+ foreach ( array( 'private', 'fishbowl', 'special', 'closed',
'flaggedrevs', 'small', 'medium', 'large', 'wikimania', 'wikidata',
'wikidataclient' ) as $tag ) {
$dblist = array_map( 'trim', file( getRealmSpecificFilename(
"$IP/../$tag.dblist" ) ) );
if ( in_array( $wgDBname, $dblist ) ) {
$wikiTags[] = $tag;
--
To view, visit https://gerrit.wikimedia.org/r/65599
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic53124d08979d0954aa1f354cd4cf7c2c281b494
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
