Petr Pchelko eec331897e Replace various usages of PermissionManager with Authority ... Change-Id: Idc303bdbbe2b7ce9e7011ee1f3926c781c56af71		2021-03-17 20:23:58 -06:00
..
BasicSearchResultSetWidget.php
DidYouMeanWidget.php	Introduce wfDeprecatedMsg()	2020-06-22 14:34:39 +10:00
FullSearchResultWidget.php	Replace various usages of PermissionManager with Authority	2021-03-17 20:23:58 -06:00
InterwikiSearchResultSetWidget.php
InterwikiSearchResultWidget.php
SearchFormWidget.php	Swap out uses of User->isLoggedIn() with ->isRegistered()	2020-12-22 03:13:37 +00:00
SearchResultSetWidget.php
SearchResultWidget.php
SimpleSearchResultSetWidget.php
SimpleSearchResultWidget.php