Merge "resourceloader: Soft-deprecate use of global LESS variables"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 28 Jul 2017 17:09:49 +0000 (17:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 28 Jul 2017 17:09:49 +0000 (17:09 +0000)
commitf3a51244a3d19862044b4832dc2bd332c89fc028
tree36f181646b1f6888cab766bb238f19e9d4a253a7
parentc1c91ac5901856a05f9573b94db8a25c0653f027
parent8f52cb862c0ae4c871ff9860c05f64df8c0409a2
Merge "resourceloader: Soft-deprecate use of global LESS variables"
includes/DefaultSettings.php