Merge "mediawiki.Title: Remove unnecessary type check on private function"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Aug 2018 23:19:19 +0000 (23:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Aug 2018 23:19:19 +0000 (23:19 +0000)
commit3195d5578f84cefaa5447b35ed3e6097f6bcf9fc
tree37f2bacce6cfbbf5e2997fe5f94d4ae0b83a6b7b
parent1f2e4c7ddcdf3d1e15dbeaf0818938677eaa247c
parent0b6819f979f0c05a2141d3c52577fb0bc98e4b75
Merge "mediawiki.Title: Remove unnecessary type check on private function"