SessionManager: Save user name to metadata even if the user doesn't exist locally
[mediawiki.git] / includes / export / 
tree5a9aa19cd8933c7a47481c76a3538cd2d5cf5d8a
drwxr-xr-x   ..
-rw-r--r-- 2189 Dump7ZipOutput.php
-rw-r--r-- 1117 DumpBZip2Output.php
-rw-r--r-- 1119 DumpDBZip2Output.php
-rw-r--r-- 2721 DumpFileOutput.php
-rw-r--r-- 2927 DumpFilter.php
-rw-r--r-- 1113 DumpGZipOutput.php
-rw-r--r-- 1857 DumpLatestFilter.php
-rw-r--r-- 2646 DumpMultiWriter.php
-rw-r--r-- 2693 DumpNamespaceFilter.php
-rw-r--r-- 1147 DumpNotalkFilter.php
-rw-r--r-- 2828 DumpOutput.php
-rw-r--r-- 2722 DumpPipeOutput.php
-rw-r--r-- 13639 WikiExporter.php
-rw-r--r-- 13768 XmlDumpWriter.php