SessionManager: Save user name to metadata even if the user doesn't exist locally
[mediawiki.git] / includes / libs / replacers / 
tree60067be8991de08ed5b993fba58633410ebd5641
drwxr-xr-x   ..
-rw-r--r-- 1285 DoubleReplacer.php
-rw-r--r-- 1242 HashtableReplacer.php
-rw-r--r-- 1260 RegexlikeReplacer.php
-rw-r--r-- 1139 Replacer.php