Merge "Use separate PoolCounter config for expensive thumbnails"
[mediawiki.git] / includes / specialpage / 
treee85e7205e46ebbe70175207efad7171d4522ba84
drwxr-xr-x   ..
-rw-r--r-- 11676 ChangesListSpecialPage.php
-rw-r--r-- 5111 FormSpecialPage.php
-rw-r--r-- 1248 IncludableSpecialPage.php
-rw-r--r-- 7153 RedirectSpecialPage.php
-rw-r--r-- 18273 SpecialPage.php
-rw-r--r-- 18888 SpecialPageFactory.php
-rw-r--r-- 1250 UnlistedSpecialPage.php