Merge "mediawiki.Title: Remove needless $.type() and minor clean up"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Jun 2017 20:21:18 +0000 (20:21 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Jun 2017 20:21:18 +0000 (20:21 +0000)
commit7ece93cc8194ad00285094d0056ced99d0378adb
treeda08aeed3c0a8a8411787e58a4744d50e6024118
parent7697f1f1209af237e58931e6970179ccd2687418
parent3b8aa08d17f828fff406d10181899a2f6d1546f6
Merge "mediawiki.Title: Remove needless $.type() and minor clean up"