jenkins-bot has submitted this change and it was merged. Change subject: Remove php-1.24wmf22 and php-1.25wmf1 ......................................................................
Remove php-1.24wmf22 and php-1.25wmf1 Change-Id: I6edbded3b0b4f1da6214940c81bc5587f7f706b1 --- D docroot/bits/static-1.24wmf22/extensions D docroot/bits/static-1.24wmf22/resources D docroot/bits/static-1.24wmf22/skins D docroot/bits/static-1.25wmf1/extensions D docroot/bits/static-1.25wmf1/resources D docroot/bits/static-1.25wmf1/skins D w/static-1.24wmf22/extensions D w/static-1.24wmf22/resources D w/static-1.24wmf22/skins D w/static-1.25wmf1/extensions D w/static-1.25wmf1/resources D w/static-1.25wmf1/skins 12 files changed, 0 insertions(+), 12 deletions(-) Approvals: Reedy: Looks good to me, approved jenkins-bot: Verified diff --git a/docroot/bits/static-1.24wmf22/extensions b/docroot/bits/static-1.24wmf22/extensions deleted file mode 120000 index 41316d5..0000000 --- a/docroot/bits/static-1.24wmf22/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.24wmf22/extensions \ No newline at end of file diff --git a/docroot/bits/static-1.24wmf22/resources b/docroot/bits/static-1.24wmf22/resources deleted file mode 120000 index d28c492..0000000 --- a/docroot/bits/static-1.24wmf22/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.24wmf22/resources \ No newline at end of file diff --git a/docroot/bits/static-1.24wmf22/skins b/docroot/bits/static-1.24wmf22/skins deleted file mode 120000 index 01da255..0000000 --- a/docroot/bits/static-1.24wmf22/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.24wmf22/skins/ \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf1/extensions b/docroot/bits/static-1.25wmf1/extensions deleted file mode 120000 index 432e5f6..0000000 --- a/docroot/bits/static-1.25wmf1/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf1/extensions \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf1/resources b/docroot/bits/static-1.25wmf1/resources deleted file mode 120000 index 7bd1c53..0000000 --- a/docroot/bits/static-1.25wmf1/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf1/resources \ No newline at end of file diff --git a/docroot/bits/static-1.25wmf1/skins b/docroot/bits/static-1.25wmf1/skins deleted file mode 120000 index b1c371c..0000000 --- a/docroot/bits/static-1.25wmf1/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf1/skins/ \ No newline at end of file diff --git a/w/static-1.24wmf22/extensions b/w/static-1.24wmf22/extensions deleted file mode 120000 index 41316d5..0000000 --- a/w/static-1.24wmf22/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.24wmf22/extensions \ No newline at end of file diff --git a/w/static-1.24wmf22/resources b/w/static-1.24wmf22/resources deleted file mode 120000 index d28c492..0000000 --- a/w/static-1.24wmf22/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.24wmf22/resources \ No newline at end of file diff --git a/w/static-1.24wmf22/skins b/w/static-1.24wmf22/skins deleted file mode 120000 index 6a04e90..0000000 --- a/w/static-1.24wmf22/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.24wmf22/skins \ No newline at end of file diff --git a/w/static-1.25wmf1/extensions b/w/static-1.25wmf1/extensions deleted file mode 120000 index 432e5f6..0000000 --- a/w/static-1.25wmf1/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf1/extensions \ No newline at end of file diff --git a/w/static-1.25wmf1/resources b/w/static-1.25wmf1/resources deleted file mode 120000 index 7bd1c53..0000000 --- a/w/static-1.25wmf1/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf1/resources \ No newline at end of file diff --git a/w/static-1.25wmf1/skins b/w/static-1.25wmf1/skins deleted file mode 120000 index 95476da..0000000 --- a/w/static-1.25wmf1/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.25wmf1/skins \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/172538 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I6edbded3b0b4f1da6214940c81bc5587f7f706b1 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
