Ed Sanders 7690bd6f25 Create a PHP version of jquery.spinner ... Change-Id: I7622b08ec89525d24a4a1a755ffeee1aace9d382		2020-03-13 18:06:29 +01:00
..
AUTHORS.txt
CheckMatrixWidget.php	Improve param docs	2019-11-28 19:08:59 +01:00
ComplexNamespaceInputWidget.php
ComplexTitleInputWidget.php
DateInputWidget.php
DateTimeInputWidget.php
ExpiryInputWidget.php
LICENSE.txt
NamespaceInputWidget.php
NamespacesMultiselectWidget.php
PendingTextInputWidget.php
SearchInputWidget.php
SelectWithInputWidget.php
SizeFilterWidget.php	Coding style: Auto-fix MediaWiki.Classes.UnsortedUseStatements.UnsortedUse	2020-01-10 09:32:25 -08:00
SpinnerWidget.php	Create a PHP version of jquery.spinner	2020-03-13 18:06:29 +01:00
TagMultiselectWidget.php
TitleInputWidget.php
TitlesMultiselectWidget.php
UserInputWidget.php
UsersMultiselectWidget.php	Add option for showing valid IPs in UsersMultiselectWidget menu	2019-11-15 21:42:32 +00:00