Make TitleInputWidget configurable, if term should be highlighted or not
authorFlorian <florian.schmidt.stargatewissen@gmail.com>
Fri, 6 Nov 2015 17:17:29 +0000 (18:17 +0100)
committerFlorian <florian.schmidt.stargatewissen@gmail.com>
Tue, 10 Nov 2015 21:51:43 +0000 (22:51 +0100)
commit924080c0f96d491bc3ff7c98bdb4d6ed492f3955
tree3473705553e8cfd1fb28776d192a141c7d446ca0
parentee9a677178319171b0c147d98ad6352df87dd32f
Make TitleInputWidget configurable, if term should be highlighted or not

Depends on: I36502da43c383373

Bug: T106273
Change-Id: I393eef9cd20bdf80e4db72891f23de08bcdfd376
includes/widget/TitleInputWidget.php