jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/372177 )
Change subject: group1 wikis to 1.30.0-wmf.13
......................................................................
group1 wikis to 1.30.0-wmf.13
Change-Id: Ia844a75d4cdbedadb681889b08e0a9c0d9e859a9
---
M php
M wikiversions.json
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Thcipriani: Looks good to me, approved
jenkins-bot: Verified
diff --git a/php b/php
index a342232..39addf1 120000
--- a/php
+++ b/php
@@ -1 +1 @@
-php-1.30.0-wmf.13
\ No newline at end of file
+php-1.30.0-wmf.14
\ No newline at end of file
diff --git a/wikiversions.json b/wikiversions.json
index 6ae6add..a9dfbc9 100644
--- a/wikiversions.json
+++ b/wikiversions.json
@@ -857,7 +857,7 @@
"wawiktionary": "php-1.30.0-wmf.13",
"wbwikimedia": "php-1.30.0-wmf.13",
"wg_enwiki": "php-1.30.0-wmf.13",
- "wikidatawiki": "php-1.30.0-wmf.11",
+ "wikidatawiki": "php-1.30.0-wmf.13",
"wikimania2005wiki": "php-1.30.0-wmf.13",
"wikimania2006wiki": "php-1.30.0-wmf.13",
"wikimania2007wiki": "php-1.30.0-wmf.13",
--
To view, visit https://gerrit.wikimedia.org/r/372177
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia844a75d4cdbedadb681889b08e0a9c0d9e859a9
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Thcipriani <tcipri...@wikimedia.org>
Gerrit-Reviewer: Thcipriani <tcipri...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
