API: Add support for documenting dynamic parameters
[mediawiki.git] / includes / user / 
tree6954a73ae65cd585a5969200d5cc283bcb79c021
drwxr-xr-x   ..
-rw-r--r-- 12166 BotPassword.php
-rw-r--r-- 8027 CentralIdLookup.php
-rw-r--r-- 3868 LocalIdLookup.php
-rw-r--r-- 157183 User.php
-rw-r--r-- 2371 UserArray.php
-rw-r--r-- 1904 UserArrayFromResult.php
-rw-r--r-- 2083 UserNamePrefixSearch.php
-rw-r--r-- 7170 UserRightsProxy.php