[MediaWiki-commits] [Gerrit] delete 1.26wmf12 - change (operations/mediawiki-config)
jenkins-bot has submitted this change and it was merged. Change subject: delete 1.26wmf12 .. delete 1.26wmf12 Change-Id: I1cc466cd6adde53140c5dcb5ae1e7361f8d8368a --- D w/static/1.26wmf12/extensions D w/static/1.26wmf12/resources D w/static/1.26wmf12/skins 3 files changed, 0 insertions(+), 3 deletions(-) Approvals: Hashar: Looks good to me, approved jenkins-bot: Verified diff --git a/w/static/1.26wmf12/extensions b/w/static/1.26wmf12/extensions deleted file mode 12 index 947ee23..000 --- a/w/static/1.26wmf12/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.26wmf12/extensions \ No newline at end of file diff --git a/w/static/1.26wmf12/resources b/w/static/1.26wmf12/resources deleted file mode 12 index 9c97f64..000 --- a/w/static/1.26wmf12/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.26wmf12/resources \ No newline at end of file diff --git a/w/static/1.26wmf12/skins b/w/static/1.26wmf12/skins deleted file mode 12 index 5d33629..000 --- a/w/static/1.26wmf12/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.26wmf12/skins \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/235347 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I1cc466cd6adde53140c5dcb5ae1e7361f8d8368a Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: 20after4Gerrit-Reviewer: Hashar Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] delete 1.26wmf12 - change (operations/mediawiki-config)
20after4 has uploaded a new change for review. https://gerrit.wikimedia.org/r/235347 Change subject: delete 1.26wmf12 .. delete 1.26wmf12 Change-Id: I1cc466cd6adde53140c5dcb5ae1e7361f8d8368a --- D w/static/1.26wmf12/extensions D w/static/1.26wmf12/resources D w/static/1.26wmf12/skins 3 files changed, 0 insertions(+), 3 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/47/235347/1 diff --git a/w/static/1.26wmf12/extensions b/w/static/1.26wmf12/extensions deleted file mode 12 index 947ee23..000 --- a/w/static/1.26wmf12/extensions +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.26wmf12/extensions \ No newline at end of file diff --git a/w/static/1.26wmf12/resources b/w/static/1.26wmf12/resources deleted file mode 12 index 9c97f64..000 --- a/w/static/1.26wmf12/resources +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.26wmf12/resources \ No newline at end of file diff --git a/w/static/1.26wmf12/skins b/w/static/1.26wmf12/skins deleted file mode 12 index 5d33629..000 --- a/w/static/1.26wmf12/skins +++ /dev/null @@ -1 +0,0 @@ -/srv/mediawiki/php-1.26wmf12/skins \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/235347 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I1cc466cd6adde53140c5dcb5ae1e7361f8d8368a Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: 20after4___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits