SessionManager: Save user name to metadata even if the user doesn't exist locally
[mediawiki.git] / includes / title / 
tree3dda3cb7472bddc83a922aa96ed1f02e8c10cbcc
drwxr-xr-x   ..
-rw-r--r-- 3204 ForeignTitle.php
-rw-r--r-- 1349 ForeignTitleFactory.php
-rw-r--r-- 1336 ImportTitleFactory.php
-rw-r--r-- 2301 MalformedTitleException.php
-rw-r--r-- 4012 MediaWikiPageLinkRenderer.php
-rw-r--r-- 14444 MediaWikiTitleCodec.php
-rw-r--r-- 2891 NaiveForeignTitleFactory.php
-rw-r--r-- 2498 NaiveImportTitleFactory.php
-rw-r--r-- 4289 NamespaceAwareForeignTitleFactory.php
-rw-r--r-- 1749 NamespaceImportTitleFactory.php
-rw-r--r-- 2239 PageLinkRenderer.php
-rw-r--r-- 1938 SubpageImportTitleFactory.php
-rw-r--r-- 2790 TitleFormatter.php
-rw-r--r-- 1746 TitleParser.php
-rw-r--r-- 4459 TitleValue.php