[MediaWiki-commits] [Gerrit] group1 wikis to 1.27.0-wmf.8 - change (operations/mediawiki-config)
Thcipriani has uploaded a new change for review. https://gerrit.wikimedia.org/r/257967 Change subject: group1 wikis to 1.27.0-wmf.8 .. group1 wikis to 1.27.0-wmf.8 Change-Id: Icc80dc9de358ccd70d58feb6b7da57d25221ec72 --- M php M w/static/current/extensions M w/static/current/resources M w/static/current/skins M wikiversions.json 5 files changed, 5 insertions(+), 5 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/67/257967/1 diff --git a/php b/php index 9f47169..c226656 12 --- a/php +++ b/php @@ -1 +1 @@ -php-1.27.0-wmf.7 \ No newline at end of file +php-1.27.0-wmf.8 \ No newline at end of file diff --git a/w/static/current/extensions b/w/static/current/extensions index bb4d389..b8e47ce 12 --- a/w/static/current/extensions +++ b/w/static/current/extensions @@ -1 +1 @@ -/srv/mediawiki/php-1.27.0-wmf.7/extensions \ No newline at end of file +/srv/mediawiki/php-1.27.0-wmf.8/extensions \ No newline at end of file diff --git a/w/static/current/resources b/w/static/current/resources index 361d3f8..6a9bab4 12 --- a/w/static/current/resources +++ b/w/static/current/resources @@ -1 +1 @@ -/srv/mediawiki/php-1.27.0-wmf.7/resources \ No newline at end of file +/srv/mediawiki/php-1.27.0-wmf.8/resources \ No newline at end of file diff --git a/w/static/current/skins b/w/static/current/skins index 861671a..8c85a82 12 --- a/w/static/current/skins +++ b/w/static/current/skins @@ -1 +1 @@ -/srv/mediawiki/php-1.27.0-wmf.7/skins \ No newline at end of file +/srv/mediawiki/php-1.27.0-wmf.8/skins \ No newline at end of file diff --git a/wikiversions.json b/wikiversions.json index 829094f..2f760da 100644 --- a/wikiversions.json +++ b/wikiversions.json @@ -1 +1 @@
[MediaWiki-commits] [Gerrit] group1 wikis to 1.27.0-wmf.8 - change (operations/mediawiki-config)
jenkins-bot has submitted this change and it was merged. Change subject: group1 wikis to 1.27.0-wmf.8 .. group1 wikis to 1.27.0-wmf.8 Change-Id: Icc80dc9de358ccd70d58feb6b7da57d25221ec72 --- M php M w/static/current/extensions M w/static/current/resources M w/static/current/skins M wikiversions.json 5 files changed, 5 insertions(+), 5 deletions(-) Approvals: Thcipriani: Looks good to me, approved jenkins-bot: Verified diff --git a/php b/php index 9f47169..c226656 12 --- a/php +++ b/php @@ -1 +1 @@ -php-1.27.0-wmf.7 \ No newline at end of file +php-1.27.0-wmf.8 \ No newline at end of file diff --git a/w/static/current/extensions b/w/static/current/extensions index bb4d389..b8e47ce 12 --- a/w/static/current/extensions +++ b/w/static/current/extensions @@ -1 +1 @@ -/srv/mediawiki/php-1.27.0-wmf.7/extensions \ No newline at end of file +/srv/mediawiki/php-1.27.0-wmf.8/extensions \ No newline at end of file diff --git a/w/static/current/resources b/w/static/current/resources index 361d3f8..6a9bab4 12 --- a/w/static/current/resources +++ b/w/static/current/resources @@ -1 +1 @@ -/srv/mediawiki/php-1.27.0-wmf.7/resources \ No newline at end of file +/srv/mediawiki/php-1.27.0-wmf.8/resources \ No newline at end of file diff --git a/w/static/current/skins b/w/static/current/skins index 861671a..8c85a82 12 --- a/w/static/current/skins +++ b/w/static/current/skins @@ -1 +1 @@ -/srv/mediawiki/php-1.27.0-wmf.7/skins \ No newline at end of file +/srv/mediawiki/php-1.27.0-wmf.8/skins \ No newline at end of file diff --git a/wikiversions.json b/wikiversions.json index 829094f..2f760da 100644 --- a/wikiversions.json +++ b/wikiversions.json @@ -1 +1 @@