Merge "Maintenance: init a user preference based on another preference"
[lhc/web/wiklou.git] / includes / widget / search /
drwxr-xr-x   ..
-rw-r--r-- 4023 BasicSearchResultSetWidget.php
-rw-r--r-- 2900 DidYouMeanWidget.php
-rw-r--r-- 8556 FullSearchResultWidget.php
-rw-r--r-- 5270 InterwikiSearchResultSetWidget.php
-rw-r--r-- 2509 InterwikiSearchResultWidget.php
-rw-r--r-- 8564 SearchFormWidget.php
-rw-r--r-- 382 SearchResultSetWidget.php
-rw-r--r-- 461 SearchResultWidget.php
-rw-r--r-- 3663 SimpleSearchResultSetWidget.php
-rw-r--r-- 1638 SimpleSearchResultWidget.php