resourceloader: Set value for getVary in server-side
authorFomafix <fomafix@googlemail.com>
Fri, 28 Jun 2019 13:06:42 +0000 (15:06 +0200)
committerKrinkle <krinklemail@gmail.com>
Thu, 4 Jul 2019 16:45:15 +0000 (16:45 +0000)
commit0a8e37f042c2c3c26f14d0cb2537457e29d5ff05
treee2e7e982f8c24639fdcaa0d311495fe84f4d828a
parente2e2eb49d6581e2eab58ba843ef2db84ce06b256
resourceloader: Set value for getVary in server-side

This change makes ResourceLoaderStorageVersion a private variable.
The JavaScript global variable wgResourceLoaderStorageVersion is now
removed.

This change makes the JavaScript code smaller.

Change-Id: I8e31b95d4c44ba653bedb6be500011a39bc6abd8
includes/resourceloader/ResourceLoaderStartUpModule.php
resources/src/startup/mediawiki.js