Merge "Create mediawiki.widgets and mw.widgets.TitleInputWidget in it"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 31 May 2015 20:20:01 +0000 (20:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 31 May 2015 20:20:01 +0000 (20:20 +0000)
commit9074728fb9779b73bdfa851640c8e8b56b3fafaf
tree370c4b3575c557f6f541c1752bdd02db80c3d25a
parentb49f3c269996a02660fb2aa2a669cda578ddf97d
parent727454fa76252f16522c2c97e5f2ace1e6cfe5e4
Merge "Create mediawiki.widgets and mw.widgets.TitleInputWidget in it"
resources/Resources.php