SessionManager: Save user name to metadata even if the user doesn't exist locally
[mediawiki.git] / includes / mail / 
tree31ee0f12227c574d1ebdd942523b2677d471bee7
drwxr-xr-x   ..
-rw-r--r-- 18381 EmailNotification.php
-rw-r--r-- 2991 MailAddress.php
-rw-r--r-- 16503 UserMailer.php