wiki.techinc.nl/includes/widget/search
Fomafix 43244db9a2 Use PHP 7 '??' operator instead of if-then-else
Change-Id: If9d4be5d88c8927f63cbb84dfc8181baf62ea3eb
2018-10-21 21:46:46 +02:00
..
BasicSearchResultSetWidget.php Mass conversion of $wgContLang to service 2018-08-11 22:44:29 -06:00
DidYouMeanWidget.php search: Fix DYM typos in widget 2018-10-04 08:32:16 -07:00
FullSearchResultWidget.php Give search results a consistent css class to select 2018-09-13 11:54:48 -07:00
InterwikiSearchResultSetWidget.php Use PHP 7 '??' operator instead of if-then-else 2018-10-21 21:46:46 +02:00
InterwikiSearchResultWidget.php update mediawiki-codesniffer to 0.11.0 and fix issues 2017-08-11 22:27:51 +02:00
SearchFormWidget.php Reduce calls to MediaWikiServices::getInstance() 2018-08-18 06:02:39 +02:00
SearchResultSetWidget.php Displaying interwiki results in sidebar 2017-02-03 18:18:20 +01:00
SearchResultWidget.php Extract main search result rendering from SpecialSearch 2017-01-17 15:57:40 -08:00
SimpleSearchResultSetWidget.php Convert SearchResultSet to typical iteration 2018-06-11 13:35:41 -07:00
SimpleSearchResultWidget.php Deprecate old interwiki search result widget 2018-01-10 12:46:42 -08:00