jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/386758 )
Change subject: Wikidatawiki to wmf.4
......................................................................
Wikidatawiki to wmf.4
Change-Id: I16b9818f4b58f6970788c4115a4148c4eff002c7
---
M wikiversions.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wikiversions.json b/wikiversions.json
index b5fc288..6f3aa47 100644
--- a/wikiversions.json
+++ b/wikiversions.json
@@ -859,7 +859,7 @@
"wawiktionary": "php-1.31.0-wmf.5",
"wbwikimedia": "php-1.31.0-wmf.5",
"wg_enwiki": "php-1.31.0-wmf.4",
- "wikidatawiki": "php-1.31.0-wmf.5",
+ "wikidatawiki": "php-1.31.0-wmf.4",
"wikimania2005wiki": "php-1.31.0-wmf.5",
"wikimania2006wiki": "php-1.31.0-wmf.5",
"wikimania2007wiki": "php-1.31.0-wmf.5",
--
To view, visit https://gerrit.wikimedia.org/r/386758
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I16b9818f4b58f6970788c4115a4148c4eff002c7
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
