Michael Daly wrote:
Is this a case where "$wgStyleVersion" should be copied from DefaultSettings.php to LocalSettings.php and incremented?
Mike
It is supposed to be incremented whenever the interface files are updated. MediaWiki doesn't use it internally. It's only there to force the proxys and caches to request the new file. Clearing your cache does the same for you.