jenkins-bot has submitted this change and it was merged. Change subject: Remove obsolete LivingStyleGuide.php ......................................................................
Remove obsolete LivingStyleGuide.php Removing obsolete file LivingStyleGuide.php from repository. It is a leftover from before renaming skin to "Blueprint" 9 months ago and therefore it's safe to remove it now. Bug: T121840 Change-Id: Idd50df62ac14b989bf2b4a690d2e1a7396680dc4 --- D LivingStyleGuide.php 1 file changed, 0 insertions(+), 3 deletions(-) Approvals: Pastakhov: Looks good to me, but someone else must approve Prtksxna: Looks good to me, approved jenkins-bot: Verified diff --git a/LivingStyleGuide.php b/LivingStyleGuide.php deleted file mode 100644 index d6f0788..0000000 --- a/LivingStyleGuide.php +++ /dev/null @@ -1,3 +0,0 @@ -<?php - -die( "LivingStyleGuide skin has been renamed to Blueprint. Please update your configuration" ); -- To view, visit https://gerrit.wikimedia.org/r/260027 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idd50df62ac14b989bf2b4a690d2e1a7396680dc4 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/skins/Blueprint Gerrit-Branch: master Gerrit-Owner: VolkerE <[email protected]> Gerrit-Reviewer: Pastakhov <[email protected]> Gerrit-Reviewer: Prtksxna <[email protected]> Gerrit-Reviewer: Spage <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
