Merge "mediawiki.js: clean-ups"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 Mar 2015 18:36:49 +0000 (18:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 Mar 2015 18:36:49 +0000 (18:36 +0000)
commitcc4f2e6d4451d5d4a667b9c8e6fcd0ad5c1bebf0
tree6db5456a44035c959efaf57c78f0e2fe77a32240
parentb480ec335310af417458f4ab489e17ecf29f066a
parenteece5d6b76797f849592689c84cd649b1937c5fe
Merge "mediawiki.js: clean-ups"