Ed Sanders 8aeef44d7d mediawiki.widgets: Create TitleSearchWidget ... TitleSearchWidget inherits from SearchWidget instead of TextInputWidget, showing search results even when blurred. To avoid duplication, much of the logic from TitleInputWidget has been moved into the TitleWidget mixin. Bug: T101169 Change-Id: I335bd912d4f5139646ba05a6a85a0d9ff3d772fa		2015-09-25 23:56:32 +01:00
..
assets	Add HiDPI PNG variants for 'Powered by MediaWiki' footer icon	2015-01-23 21:27:24 +00:00
lib	Update OOjs UI to v0.12.9	2015-09-22 21:14:56 +01:00
src	mediawiki.widgets: Create TitleSearchWidget	2015-09-25 23:56:32 +01:00
Resources.php	mediawiki.widgets: Create TitleSearchWidget	2015-09-25 23:56:32 +01:00
ResourcesOOUI.php	Follow-up 5cd0a43e5: Add SelectFileWidget's i18n to ResourcesOOUI	2015-09-22 12:36:49 +01:00