Merge "resourceloader: Remove creation of dynamic-styles marker"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 3 May 2018 22:32:10 +0000 (22:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 3 May 2018 22:32:10 +0000 (22:32 +0000)
commit96f3dab658cdbaf50acefee0a33866177e854bb1
tree1f57c5c786319c0c8f2c09c236f6f99823a47a21
parentb4674e56a1d19f97ff6528a983074d2c7e754daf
parentbffdf972dbab2ea7f9bc19170ae77e2f14fc81dd
Merge "resourceloader: Remove creation of dynamic-styles marker"
resources/src/mediawiki/mediawiki.js