Merge "Make TitleInputWidget configurable, if term should be highlighted or not"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 Nov 2015 17:11:22 +0000 (17:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 Nov 2015 17:11:22 +0000 (17:11 +0000)
commit0afd118fa86dd4e66a56168816744346e60e66b7
treed38309ce4f06a9f0ae5b81145c83b7420141a661
parent3ca8832d7f47a816190247b03fb2d69ed31efc41
parent924080c0f96d491bc3ff7c98bdb4d6ed492f3955
Merge "Make TitleInputWidget configurable, if term should be highlighted or not"