$wgStyleVersion was removed completely since Mediawiki 1.32. This is used inside the Maps extension here. We use Maps v4.4.0.
We don't seem to be having any problems with our current setup, but if something does come up related to the Maps extension, we might have to update the version of the extension we use.
$wgStyleVersion
was removed completely since Mediawiki 1.32. This is used inside the Maps extension here. We use Maps v4.4.0.We don't seem to be having any problems with our current setup, but if something does come up related to the Maps extension, we might have to update the version of the extension we use.