On Fri, Jun 7, 2019 at 4:43 PM reedy reedy@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