jenkins-bot has submitted this change and it was merged. Change subject: delete stale symlinks ......................................................................
delete stale symlinks Change-Id: I5c82edea799b9a019ab591a3223dd7ceed0a5c10 --- M php D static/1.27.0-wmf.10/extensions D static/1.27.0-wmf.10/resources D static/1.27.0-wmf.10/skins D static/1.27.0-wmf.11/extensions D static/1.27.0-wmf.11/resources D static/1.27.0-wmf.11/skins 7 files changed, 1 insertion(+), 7 deletions(-) Approvals: 20after4: Looks good to me, approved jenkins-bot: Verified diff --git a/php b/php index 74519cf..1c8839c 120000 --- a/php +++ b/php @@ -1 +1 @@ -php-1.27.0-wmf.16 \ No newline at end of file +php-1.27.0-wmf.17 \ No newline at end of file diff --git a/static/1.27.0-wmf.10/extensions b/static/1.27.0-wmf.10/extensions deleted file mode 120000 index 98682a4..0000000 --- a/static/1.27.0-wmf.10/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.10/extensions \ No newline at end of file diff --git a/static/1.27.0-wmf.10/resources b/static/1.27.0-wmf.10/resources deleted file mode 120000 index d38eb22..0000000 --- a/static/1.27.0-wmf.10/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.10/resources \ No newline at end of file diff --git a/static/1.27.0-wmf.10/skins b/static/1.27.0-wmf.10/skins deleted file mode 120000 index 8a33e77..0000000 --- a/static/1.27.0-wmf.10/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.10/skins \ No newline at end of file diff --git a/static/1.27.0-wmf.11/extensions b/static/1.27.0-wmf.11/extensions deleted file mode 120000 index 676a52f..0000000 --- a/static/1.27.0-wmf.11/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.11/extensions \ No newline at end of file diff --git a/static/1.27.0-wmf.11/resources b/static/1.27.0-wmf.11/resources deleted file mode 120000 index cad15c3..0000000 --- a/static/1.27.0-wmf.11/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.11/resources \ No newline at end of file diff --git a/static/1.27.0-wmf.11/skins b/static/1.27.0-wmf.11/skins deleted file mode 120000 index 32afa41..0000000 --- a/static/1.27.0-wmf.11/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.27.0-wmf.11/skins \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/277601 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I5c82edea799b9a019ab591a3223dd7ceed0a5c10 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: 20after4 <[email protected]> Gerrit-Reviewer: 20after4 <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
