Merge "mediawiki.page.gallery: Various clean up and minor optimisations"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 16 Jul 2018 14:22:20 +0000 (14:22 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 16 Jul 2018 14:22:20 +0000 (14:22 +0000)
commita28efb5f25085be5d54b7195f91998c17d17c091
tree9e2b7c328b46d525e1851d64572a972003c0bb53
parent1fe53f1a33168b865c80121ca3c266a45368a310
parent5eca3ca414e7cb1b440d6c723518e5d8ee25b163
Merge "mediawiki.page.gallery: Various clean up and minor optimisations"