Merge "Lazy creation for heavy menu"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 Sep 2017 22:06:27 +0000 (22:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Sep 2017 22:06:27 +0000 (22:06 +0000)
commit2dd8c6efe97cfb38e13fab8f34bfd887f51b1877
tree6f2c0e33cce50e18bd4e2c4b8b4f597812326cf4
parent510d5dd7cb41e54c2b47581a5185beb074997628
parent7a28c62e99a9b935cf8c3c94d367b1b5d8d56223
Merge "Lazy creation for heavy menu"
resources/src/mediawiki.rcfilters/mw.rcfilters.init.js