jenkins-bot has submitted this change and it was merged. Change subject: Remove expired old staticy things ......................................................................
Remove expired old staticy things Change-Id: I551999a93fd23827aae939168a614f5788240a48 --- D static/1.27.0-wmf.12/extensions D static/1.27.0-wmf.12/resources D static/1.27.0-wmf.12/skins D static/1.27.0-wmf.13/extensions D static/1.27.0-wmf.13/resources D static/1.27.0-wmf.13/skins D static/1.27.0-wmf.14/extensions D static/1.27.0-wmf.14/resources D static/1.27.0-wmf.14/skins D static/1.27.0-wmf.15/extensions D static/1.27.0-wmf.15/resources D static/1.27.0-wmf.15/skins 12 files changed, 0 insertions(+), 12 deletions(-) Approvals: Chad: Looks good to me, approved jenkins-bot: Verified diff --git a/static/1.27.0-wmf.12/extensions b/static/1.27.0-wmf.12/extensions deleted file mode 120000 index 97fd164..0000000 --- a/static/1.27.0-wmf.12/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.12/extensions \ No newline at end of file diff --git a/static/1.27.0-wmf.12/resources b/static/1.27.0-wmf.12/resources deleted file mode 120000 index 91abae6..0000000 --- a/static/1.27.0-wmf.12/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.12/resources \ No newline at end of file diff --git a/static/1.27.0-wmf.12/skins b/static/1.27.0-wmf.12/skins deleted file mode 120000 index 4d21d01..0000000 --- a/static/1.27.0-wmf.12/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.12/skins \ No newline at end of file diff --git a/static/1.27.0-wmf.13/extensions b/static/1.27.0-wmf.13/extensions deleted file mode 120000 index 6b07ed5..0000000 --- a/static/1.27.0-wmf.13/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.13/extensions \ No newline at end of file diff --git a/static/1.27.0-wmf.13/resources b/static/1.27.0-wmf.13/resources deleted file mode 120000 index 8958dea..0000000 --- a/static/1.27.0-wmf.13/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.13/resources \ No newline at end of file diff --git a/static/1.27.0-wmf.13/skins b/static/1.27.0-wmf.13/skins deleted file mode 120000 index 28ca056..0000000 --- a/static/1.27.0-wmf.13/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.13/skins \ No newline at end of file diff --git a/static/1.27.0-wmf.14/extensions b/static/1.27.0-wmf.14/extensions deleted file mode 120000 index 08332b8..0000000 --- a/static/1.27.0-wmf.14/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.14/extensions \ No newline at end of file diff --git a/static/1.27.0-wmf.14/resources b/static/1.27.0-wmf.14/resources deleted file mode 120000 index 887b897..0000000 --- a/static/1.27.0-wmf.14/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.14/resources \ No newline at end of file diff --git a/static/1.27.0-wmf.14/skins b/static/1.27.0-wmf.14/skins deleted file mode 120000 index 3cb3fa9..0000000 --- a/static/1.27.0-wmf.14/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.14/skins \ No newline at end of file diff --git a/static/1.27.0-wmf.15/extensions b/static/1.27.0-wmf.15/extensions deleted file mode 120000 index a37f84e..0000000 --- a/static/1.27.0-wmf.15/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.15/extensions \ No newline at end of file diff --git a/static/1.27.0-wmf.15/resources b/static/1.27.0-wmf.15/resources deleted file mode 120000 index 6e39bd5..0000000 --- a/static/1.27.0-wmf.15/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.15/resources \ No newline at end of file diff --git a/static/1.27.0-wmf.15/skins b/static/1.27.0-wmf.15/skins deleted file mode 120000 index 088a517..0000000 --- a/static/1.27.0-wmf.15/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.15/skins \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/282983 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I551999a93fd23827aae939168a614f5788240a48 Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Chad <[email protected]> Gerrit-Reviewer: Chad <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
