If a user logs in while not on https, then the user should be sent back to the non...
[mediawiki.git] / includes / templates / 
treeddacedb7fb3da7a0edcc36b4a64f8c6cd374007e
drwxr-xr-x   ..
-rw-r--r-- 2958 NoLocalSettings.php
-rw-r--r-- 10468 Usercreate.php
-rw-r--r-- 6960 Userlogin.php