Merge "mediawiki.Title: Remove obsolete Object.create ES3 fallback"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 14 Sep 2017 17:40:08 +0000 (17:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 14 Sep 2017 17:40:08 +0000 (17:40 +0000)
commit83020dbf41b66efb1eecdd3b09250425695ca93a
treea2bca605d81ab97f9d5a600bf5ed2ea78cda7632
parent16068520c1115085af34f1aebf4ae441a056ecee
parentde603cc7f3ecc19e13fe9ca7c98b03dc492fa8d5
Merge "mediawiki.Title: Remove obsolete Object.create ES3 fallback"