SessionManager: Ignore Session object destruction during global shutdown
[mediawiki.git] / includes / htmlform / 
tree1d3720ece1a22d95a48eeaf9bc320beb3527160c
drwxr-xr-x   ..
-rw-r--r-- 384 HTMLApiField.php
-rw-r--r-- 5219 HTMLAutoCompleteSelectField.php
-rw-r--r-- 4099 HTMLButtonField.php
-rw-r--r-- 3132 HTMLCheckField.php
-rw-r--r-- 8600 HTMLCheckMatrix.php
-rw-r--r-- 1632 HTMLComboboxField.php
-rw-r--r-- 992 HTMLEditTools.php
-rw-r--r-- 1128 HTMLFloatField.php
-rw-r--r-- 48252 HTMLForm.php
-rw-r--r-- 29590 HTMLFormField.php
-rw-r--r-- 11557 HTMLFormFieldCloner.php
-rw-r--r-- 305 HTMLFormFieldRequiredOptionsException.php
-rw-r--r-- 2294 HTMLFormFieldWithButton.php
-rw-r--r-- 1372 HTMLHiddenField.php
-rw-r--r-- 1183 HTMLInfoField.php
-rw-r--r-- 810 HTMLIntField.php
-rw-r--r-- 4015 HTMLMultiSelectField.php
-rw-r--r-- 231 HTMLNestedFilterable.php
-rw-r--r-- 2303 HTMLRadioField.php
-rw-r--r-- 3785 HTMLSelectAndOtherField.php
-rw-r--r-- 1633 HTMLSelectField.php
-rw-r--r-- 978 HTMLSelectLimitField.php
-rw-r--r-- 754 HTMLSelectNamespace.php
-rw-r--r-- 534 HTMLSelectNamespaceWithButton.php
-rw-r--r-- 2262 HTMLSelectOrOtherField.php
-rw-r--r-- 461 HTMLSubmitField.php
-rw-r--r-- 709 HTMLTagFilter.php
-rw-r--r-- 2565 HTMLTextAreaField.php
-rw-r--r-- 4244 HTMLTextField.php
-rw-r--r-- 503 HTMLTextFieldWithButton.php
-rw-r--r-- 3056 HTMLTitleTextField.php
-rw-r--r-- 1528 HTMLUserTextField.php
-rw-r--r-- 7380 OOUIHTMLForm.php
-rw-r--r-- 3860 VFormHTMLForm.php