Merge "mediawiki.skinning: Remove obsolete #firstHeading selector"
[lhc/web/wiklou.git] / includes / parser /
drwxr-xr-x   ..
-rw-r--r-- 5668 CacheTime.php
-rw-r--r-- 39714 CoreParserFunctions.php
-rw-r--r-- 3848 CoreTagHooks.php
-rw-r--r-- 10403 DateFormatter.php
-rw-r--r-- 19745 LinkHolderArray.php
-rw-r--r-- 8990 MWTidy.php
-rw-r--r-- 201131 Parser.php
-rw-r--r-- 9137 ParserCache.php
-rw-r--r-- 3823 ParserDiffTest.php
-rw-r--r-- 17941 ParserOptions.php
-rw-r--r-- 25345 ParserOutput.php
-rw-r--r-- 8750 Preprocessor.php
-rw-r--r-- 54280 Preprocessor_DOM.php
-rw-r--r-- 56707 Preprocessor_Hash.php
-rw-r--r-- 6136 StripState.php