Merge "mediawiki.Title: Add normalizeExtension method"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 11 Sep 2015 20:45:53 +0000 (20:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 11 Sep 2015 20:45:53 +0000 (20:45 +0000)
commitcfd1345a482548b6e31f114d5267874bae47212b
tree8be78bad5ffe3598e918de7aa645fa0d458b9dd8
parentb2ba479ecadb5f0ea3030f3f04e18ab052cce796
parent55a49465334a23df2c79672b733de83962c47296
Merge "mediawiki.Title: Add normalizeExtension method"