Reedy has uploaded a new change for review. https://gerrit.wikimedia.org/r/181431
Change subject: Remove 1.25wmf2 through 1.25wmf4 ...................................................................... Remove 1.25wmf2 through 1.25wmf4 Change-Id: I6cb65ab0daf5adffdd01f196b85d4d3457d5bb4a --- D docroot/bits/static-1.25wmf2/extensions D docroot/bits/static-1.25wmf2/resources D docroot/bits/static-1.25wmf2/skins D docroot/bits/static-1.25wmf3/extensions D docroot/bits/static-1.25wmf3/resources D docroot/bits/static-1.25wmf3/skins D docroot/bits/static-1.25wmf4/extensions D docroot/bits/static-1.25wmf4/resources D docroot/bits/static-1.25wmf4/skins D docroot/bits/static-1.25wmf5/extensions D docroot/bits/static-1.25wmf5/resources D docroot/bits/static-1.25wmf5/skins M docroot/bits/static-current/extensions M docroot/bits/static-current/resources M docroot/bits/static-current/skins M php D w/static-1.25wmf2/extensions D w/static-1.25wmf2/resources D w/static-1.25wmf2/skins D w/static-1.25wmf3/extensions D w/static-1.25wmf3/resources D w/static-1.25wmf3/skins D w/static-1.25wmf4/extensions D w/static-1.25wmf4/resources D w/static-1.25wmf4/skins D w/static-1.25wmf5/extensions D w/static-1.25wmf5/resources D w/static-1.25wmf5/skins 28 files changed, 4 insertions(+), 28 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/31/181431/1 diff --git a/docroot/bits/static-1.25wmf2/extensions b/docroot/bits/static-1.25wmf2/extensions deleted file mode 120000 index da2f3b9..0000000 --- a/docroot/bits/static-1.25wmf2/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf2/extensions \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf2/resources b/docroot/bits/static-1.25wmf2/resources deleted file mode 120000 index 32719e3..0000000 --- a/docroot/bits/static-1.25wmf2/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf2/resources \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf2/skins b/docroot/bits/static-1.25wmf2/skins deleted file mode 120000 index 1595a9d..0000000 --- a/docroot/bits/static-1.25wmf2/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf2/skins/ \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf3/extensions b/docroot/bits/static-1.25wmf3/extensions deleted file mode 120000 index 28d13cb..0000000 --- a/docroot/bits/static-1.25wmf3/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf3/extensions \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf3/resources b/docroot/bits/static-1.25wmf3/resources deleted file mode 120000 index b4e23ed..0000000 --- a/docroot/bits/static-1.25wmf3/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf3/resources \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf3/skins b/docroot/bits/static-1.25wmf3/skins deleted file mode 120000 index 94e5d5e..0000000 --- a/docroot/bits/static-1.25wmf3/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf3/skins/ \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf4/extensions b/docroot/bits/static-1.25wmf4/extensions deleted file mode 120000 index 0ab4010..0000000 --- a/docroot/bits/static-1.25wmf4/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf4/extensions \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf4/resources b/docroot/bits/static-1.25wmf4/resources deleted file mode 120000 index f99b09c..0000000 --- a/docroot/bits/static-1.25wmf4/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf4/resources \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf4/skins b/docroot/bits/static-1.25wmf4/skins deleted file mode 120000 index fe98745..0000000 --- a/docroot/bits/static-1.25wmf4/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf4/skins/ \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf5/extensions b/docroot/bits/static-1.25wmf5/extensions deleted file mode 120000 index 5ab6ec6..0000000 --- a/docroot/bits/static-1.25wmf5/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf5/extensions \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf5/resources b/docroot/bits/static-1.25wmf5/resources deleted file mode 120000 index b459642..0000000 --- a/docroot/bits/static-1.25wmf5/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf5/resources \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf5/skins b/docroot/bits/static-1.25wmf5/skins deleted file mode 120000 index 7e4aa7a..0000000 --- a/docroot/bits/static-1.25wmf5/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf5/skins/ \ No newline at end of file diff --git a/docroot/bits/static-current/extensions b/docroot/bits/static-current/extensions index e1d76f6..d8d3db6 120000 --- a/docroot/bits/static-current/extensions +++ b/docroot/bits/static-current/extensions @@ -1 +1 @@ -/srv/mediawiki/php-1.25wmf11/extensions \ No newline at end of file +/srv/mediawiki/php-1.25wmf13/extensions \ No newline at end of file diff --git a/docroot/bits/static-current/resources b/docroot/bits/static-current/resources index a777ee8..fd0e1de 120000 --- a/docroot/bits/static-current/resources +++ b/docroot/bits/static-current/resources @@ -1 +1 @@ -/srv/mediawiki/php-1.25wmf11/resources \ No newline at end of file +/srv/mediawiki/php-1.25wmf13/resources \ No newline at end of file diff --git a/docroot/bits/static-current/skins b/docroot/bits/static-current/skins index ea282ea..315d1f2 120000 --- a/docroot/bits/static-current/skins +++ b/docroot/bits/static-current/skins @@ -1 +1 @@ -/srv/mediawiki/php-1.25wmf11/skins \ No newline at end of file +/srv/mediawiki/php-1.25wmf13/skins \ No newline at end of file diff --git a/php b/php index dd033f1..e4d88ec 120000 --- a/php +++ b/php @@ -1 +1 @@ -php-1.25wmf11 \ No newline at end of file +php-1.25wmf13 \ No newline at end of file diff --git a/w/static-1.25wmf2/extensions b/w/static-1.25wmf2/extensions deleted file mode 120000 index da2f3b9..0000000 --- a/w/static-1.25wmf2/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf2/extensions \ No newline at end of file diff --git a/w/static-1.25wmf2/resources b/w/static-1.25wmf2/resources deleted file mode 120000 index 32719e3..0000000 --- a/w/static-1.25wmf2/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf2/resources \ No newline at end of file diff --git a/w/static-1.25wmf2/skins b/w/static-1.25wmf2/skins deleted file mode 120000 index 7b65b45..0000000 --- a/w/static-1.25wmf2/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf2/skins \ No newline at end of file diff --git a/w/static-1.25wmf3/extensions b/w/static-1.25wmf3/extensions deleted file mode 120000 index 28d13cb..0000000 --- a/w/static-1.25wmf3/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf3/extensions \ No newline at end of file diff --git a/w/static-1.25wmf3/resources b/w/static-1.25wmf3/resources deleted file mode 120000 index b4e23ed..0000000 --- a/w/static-1.25wmf3/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf3/resources \ No newline at end of file diff --git a/w/static-1.25wmf3/skins b/w/static-1.25wmf3/skins deleted file mode 120000 index 11274a7..0000000 --- a/w/static-1.25wmf3/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf3/skins \ No newline at end of file diff --git a/w/static-1.25wmf4/extensions b/w/static-1.25wmf4/extensions deleted file mode 120000 index 0ab4010..0000000 --- a/w/static-1.25wmf4/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf4/extensions \ No newline at end of file diff --git a/w/static-1.25wmf4/resources b/w/static-1.25wmf4/resources deleted file mode 120000 index f99b09c..0000000 --- a/w/static-1.25wmf4/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf4/resources \ No newline at end of file diff --git a/w/static-1.25wmf4/skins b/w/static-1.25wmf4/skins deleted file mode 120000 index 008d808..0000000 --- a/w/static-1.25wmf4/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf4/skins \ No newline at end of file diff --git a/w/static-1.25wmf5/extensions b/w/static-1.25wmf5/extensions deleted file mode 120000 index 5ab6ec6..0000000 --- a/w/static-1.25wmf5/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf5/extensions \ No newline at end of file diff --git a/w/static-1.25wmf5/resources b/w/static-1.25wmf5/resources deleted file mode 120000 index b459642..0000000 --- a/w/static-1.25wmf5/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf5/resources \ No newline at end of file diff --git a/w/static-1.25wmf5/skins b/w/static-1.25wmf5/skins deleted file mode 120000 index a6282c5..0000000 --- a/w/static-1.25wmf5/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf5/skins \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/181431 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I6cb65ab0daf5adffdd01f196b85d4d3457d5bb4a Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Reedy <re...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
