On Fri, Jun 7, 2019 at 4:17 PM Jeffrey Walton <noloader(a)gmail.com> wrote:
On Fri, Jun 7, 2019 at 4:13 PM reedy <reedy(a)wikimedia.org> wrote:
Are you still having problems?
No.
As above, you're not running 1.31.1,
you're running 1.32.1...
We tried 1.31.2, and then 1.32.2 hoping it would fix it. We stayed at 1.32.2.
There was one more error after that, but I don't recall the message.
The other thing we had to add was:
$wgResourceLoaderLESSVars = false;
It surfaced from