On Fri, Jun 7, 2019 at 4:43 PM reedy <reedy(a)wikimedia.org> wrote:
Would you remind removing it again, and telling us where it's broken/what the
actual error message is?
$wgResourceLoaderLESSVars was removed in 1.32, but I'm guessing there's some
extension you're using that still has a usage of it, and should be fixed
As I understand things, it is needed for Mobile FrontEnd.
https://www.mediawiki.org/wiki/Extension:MobileFrontend
Jeff