jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/387188 )
Change subject: Revert "Wikidatawiki to wmf.4"
......................................................................
Revert "Wikidatawiki to wmf.4"
Has nothing to do with the issues in question.
This reverts commit a80be4ff2901777846dea26f824ce7b335bc394d.
Bug: T179156
Change-Id: I99ba69522506fec901f2ecf0d0d062be1527a113
---
M wikiversions.json
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hoo man: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wikiversions.json b/wikiversions.json
index 6f3aa47..b5fc288 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.4",
+ "wikidatawiki": "php-1.31.0-wmf.5",
"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/387188
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I99ba69522506fec901f2ecf0d0d062be1527a113
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Hoo man <[email protected]>
Gerrit-Reviewer: Hoo man <[email protected]>
Gerrit-Reviewer: Urbanecm <[email protected]>
Gerrit-Reviewer: Zoranzoki21 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
