Merge "mediawiki.page.ready: Load 'SearchInputWidget' too"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 15 Apr 2016 18:52:22 +0000 (18:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 15 Apr 2016 18:52:22 +0000 (18:52 +0000)
commit772e7f539622e59a3193216f32bf3e5872d4769e
tree656d3cfee6a8c07e20a4f8c49b05407cdacca51c
parent95e56b66f1c8c57136db6d01f9ea5de42a67f20e
parentc48d90ff688afa99e9a23417e8dae55af88abe9a
Merge "mediawiki.page.ready: Load 'SearchInputWidget' too"