Merge "mediawiki.api: Use then() in getToken instead of manual Deferred wrapping"
[mediawiki.git] / includes / parser / 
treee4bfe13ca801835f1c824ff21b87800fe39059f9
drwxr-xr-x   ..
-rw-r--r-- 5602 CacheTime.php
-rw-r--r-- 38305 CoreParserFunctions.php
-rw-r--r-- 3813 CoreTagHooks.php
-rw-r--r-- 10342 DateFormatter.php
-rw-r--r-- 19195 LinkHolderArray.php
-rw-r--r-- 199333 Parser.php
-rw-r--r-- 9131 ParserCache.php
-rw-r--r-- 17442 ParserOptions.php
-rw-r--r-- 24042 ParserOutput.php
-rw-r--r-- 3767 Parser_DiffTest.php
-rw-r--r-- 6045 Preprocessor.php
-rw-r--r-- 50981 Preprocessor_DOM.php
-rw-r--r-- 52993 Preprocessor_Hash.php
-rw-r--r-- 6073 StripState.php
-rw-r--r-- 8835 Tidy.php