Merge "mediawiki.page.gallery: Improve documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 22 May 2018 18:18:41 +0000 (18:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 22 May 2018 18:18:41 +0000 (18:18 +0000)
commit5994459b98d6cfb2c5c8d760f481b81c93d1e748
tree92a2da5818a46391dcbbfc92e4bc9b516e991eea
parentd65ac78277fc04df431d89ded95d0cdd76cddad0
parentbcfb9b86af0fefb59fa989e1aa16dee88f70211f
Merge "mediawiki.page.gallery: Improve documentation"