On Fri, Jun 7, 2019 at 4:17 PM Jeffrey Walton noloader@gmail.com wrote:
On Fri, Jun 7, 2019 at 4:13 PM reedy reedy@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 https://www.mediawiki.org/wiki/Topic:Uv7tk3kq7csou5po .
Jeff