Sam Wilson 84ef41addb Improve TitleWidget search results ... Add the query value as a redlink in the result list, as is already done if the query value is *not* a prefix of some other (existing) title. Bug: T291056 Change-Id: I1569ad5a57cd98fe7deb034512b46e948a3561e1		2021-10-15 09:47:48 +08:00
..
assets	Use the new mediawiki logos	2021-04-01 01:22:33 +02:00
lib	Drop jQuery migrate	2021-09-30 18:29:05 +02:00
src	Improve TitleWidget search results	2021-10-15 09:47:48 +08:00
Resources.php	Merge "Move mediawiki.ForeignUpload configuration settings to package files"	2021-10-13 23:18:28 +00:00