resourceloader: Set value for getStoreKey in server-side
authorFomafix <fomafix@googlemail.com>
Sat, 29 Jun 2019 07:47:57 +0000 (09:47 +0200)
committerTimo Tijhof <krinklemail@gmail.com>
Thu, 4 Jul 2019 16:48:34 +0000 (17:48 +0100)
commit30ddfc8a77214cd9df75293f7d7ab008d1afad87
tree4f234720c1aeba7bf380f0a504ae6853efae9290
parent0a8e37f042c2c3c26f14d0cb2537457e29d5ff05
resourceloader: Set value for getStoreKey in server-side

This change reduces the size of the JavaScript resources.

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