EditPage: Style anonymous editor warning as a warningbox for consistency
[mediawiki.git] / includes / user / 
treeee849de0ca51d67fdd1acea1791cfb0beb837ad5
drwxr-xr-x   ..
-rw-r--r-- 12281 BotPassword.php
-rw-r--r-- 8025 CentralIdLookup.php
-rw-r--r-- 3803 LocalIdLookup.php
-rw-r--r-- 1432 LoggedOutEditToken.php
-rw-r--r-- 159381 User.php
-rw-r--r-- 2346 UserArray.php
-rw-r--r-- 1904 UserArrayFromResult.php
-rw-r--r-- 2048 UserNamePrefixSearch.php
-rw-r--r-- 7090 UserRightsProxy.php