jenkins-bot has submitted this change and it was merged. Change subject: Setup.php: Update comment about loading default skins ......................................................................
Setup.php: Update comment about loading default skins Change-Id: Icd6d8c83404b853e91ed7312137bc144d488568d --- M includes/Setup.php 1 file changed, 2 insertions(+), 3 deletions(-) Approvals: Jdlrobson: Looks good to me, approved jenkins-bot: Verified diff --git a/includes/Setup.php b/includes/Setup.php index ccb3a15..6003305 100644 --- a/includes/Setup.php +++ b/includes/Setup.php @@ -602,9 +602,8 @@ $wgDeferredUpdateList = array(); // Enable default skins. -// This is hacky and bad, but it will go away before 1.24 release (or so I hope). -// These lines should eventually be placed in skins' meta definition files, and loaded by a -// require_once for each skin file generated by the installer and placed in LocalSettings.php. +// This is hacky and bad, the require_once calls should eventually be generated by the installer +// and placed in LocalSettings.php. require_once "$wgStyleDirectory/MonoBook/MonoBook.php"; require_once "$wgStyleDirectory/Vector/Vector.php"; -- To view, visit https://gerrit.wikimedia.org/r/142293 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Icd6d8c83404b853e91ed7312137bc144d488568d Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Bartosz Dziewoński <[email protected]> Gerrit-Reviewer: Jdlrobson <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
