SessionManager: Ignore Session object destruction during global shutdown
[mediawiki.git] / includes / parser / 
tree6797b9513ac6f5d5062d82b6506cb04b68028d82
drwxr-xr-x   ..
-rw-r--r-- 5052 CacheTime.php
-rw-r--r-- 40904 CoreParserFunctions.php
-rw-r--r-- 4684 CoreTagHooks.php
-rw-r--r-- 10749 DateFormatter.php
-rw-r--r-- 19184 LinkHolderArray.php
-rw-r--r-- 4657 MWTidy.php
-rw-r--r-- 204285 Parser.php
-rw-r--r-- 9493 ParserCache.php
-rw-r--r-- 3301 ParserDiffTest.php
-rw-r--r-- 22515 ParserOptions.php
-rw-r--r-- 27800 ParserOutput.php
-rw-r--r-- 10810 Preprocessor.php
-rw-r--r-- 54637 Preprocessor_DOM.php
-rw-r--r-- 57017 Preprocessor_Hash.php
-rw-r--r-- 6398 StripState.php