SessionManager: Ignore Session object destruction during global shutdown
[mediawiki.git] / includes / title / 
tree59e8c4551ce3cc1859015ea3e602dd059a15d828
drwxr-xr-x   ..
-rw-r--r-- 3204 ForeignTitle.php
-rw-r--r-- 1349 ForeignTitleFactory.php
-rw-r--r-- 1336 ImportTitleFactory.php
-rw-r--r-- 2291 MalformedTitleException.php
-rw-r--r-- 4032 MediaWikiPageLinkRenderer.php
-rw-r--r-- 14409 MediaWikiTitleCodec.php
-rw-r--r-- 2891 NaiveForeignTitleFactory.php
-rw-r--r-- 2498 NaiveImportTitleFactory.php
-rw-r--r-- 4284 NamespaceAwareForeignTitleFactory.php
-rw-r--r-- 1749 NamespaceImportTitleFactory.php
-rw-r--r-- 2234 PageLinkRenderer.php
-rw-r--r-- 1938 SubpageImportTitleFactory.php
-rw-r--r-- 2790 TitleFormatter.php
-rw-r--r-- 1746 TitleParser.php
-rw-r--r-- 4481 TitleValue.php