Merge "resourceloader: Remove $wgResourceLoaderLESSVars support"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 15 Aug 2018 01:24:36 +0000 (01:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 15 Aug 2018 01:24:36 +0000 (01:24 +0000)
commit329a72120e5f450e44b9a2c0c6dadaad1de9d43c
treebad67d09311d68561036208f5632392d77d1e27b
parentc1d7412ce2b7536a8a0e9ad1c7409fdf0a98502a
parentca510f742f942411b8678f8b4cb2cb30bce0e2e3
Merge "resourceloader: Remove $wgResourceLoaderLESSVars support"
RELEASE-NOTES-1.32
includes/DefaultSettings.php
includes/resourceloader/ResourceLoader.php