Expecting people to magically know that MediaWiki\Widget\SearchInputWidget is generic and for use on random pages, but MediaWiki\Widget\SearchResultWidget is super-specialised, based on bespoke technologies, and only for use on Special:Search, is not great. None of these are used outside the MediaWiki core codebase and so this change whilst it would otherwise be technically breaking is fine. Change-Id: I16d21dd5e1ac3aa9893863df272d1bbb4788066f |
||
|---|---|---|
| .. | ||
| AUTHORS.txt | ||
| CheckMatrixWidget.php | ||
| ComplexNamespaceInputWidget.php | ||
| ComplexTitleInputWidget.php | ||
| DateInputWidget.php | ||
| DateTimeInputWidget.php | ||
| ExpiryInputWidget.php | ||
| LICENSE.txt | ||
| NamespaceInputWidget.php | ||
| NamespacesMultiselectWidget.php | ||
| PendingTextInputWidget.php | ||
| SearchInputWidget.php | ||
| SelectWithInputWidget.php | ||
| SizeFilterWidget.php | ||
| TagMultiselectWidget.php | ||
| TitleInputWidget.php | ||
| TitlesMultiselectWidget.php | ||
| UserInputWidget.php | ||
| UsersMultiselectWidget.php | ||