Remove unused variable in ProfilerMwprof
[mediawiki.git] / includes / htmlform / 
tree5b082b97ac313a0092f6d03a4dd40c9ad2147af5
drwxr-xr-x   ..
-rw-r--r-- 326 HTMLApiField.php
-rw-r--r-- 4815 HTMLAutoCompleteSelectField.php
-rw-r--r-- 926 HTMLButtonField.php
-rw-r--r-- 2211 HTMLCheckField.php
-rw-r--r-- 8090 HTMLCheckMatrix.php
-rw-r--r-- 985 HTMLEditTools.php
-rw-r--r-- 1126 HTMLFloatField.php
-rw-r--r-- 40504 HTMLForm.php
-rw-r--r-- 23456 HTMLFormField.php
-rw-r--r-- 11900 HTMLFormFieldCloner.php
-rw-r--r-- 305 HTMLFormFieldRequiredOptionsException.php
-rw-r--r-- 1266 HTMLHiddenField.php
-rw-r--r-- 983 HTMLInfoField.php
-rw-r--r-- 820 HTMLIntField.php
-rw-r--r-- 3514 HTMLMultiSelectField.php
-rw-r--r-- 231 HTMLNestedFilterable.php
-rw-r--r-- 1772 HTMLRadioField.php
-rw-r--r-- 3496 HTMLSelectAndOtherField.php
-rw-r--r-- 1077 HTMLSelectField.php
-rw-r--r-- 978 HTMLSelectLimitField.php
-rw-r--r-- 362 HTMLSelectNamespace.php
-rw-r--r-- 2102 HTMLSelectOrOtherField.php
-rw-r--r-- 214 HTMLSubmitField.php
-rw-r--r-- 426 HTMLTagFilter.php
-rw-r--r-- 842 HTMLTextAreaField.php
-rw-r--r-- 1515 HTMLTextField.php