Merge "mediawiki.api: Use then() in getToken instead of manual Deferred wrapping"
[mediawiki.git] / includes / specialpage / 
tree34b7b338b6136dbf8f0ace546693db618a4c1705
drwxr-xr-x   ..
-rw-r--r-- 11910 ChangesListSpecialPage.php
-rw-r--r-- 5111 FormSpecialPage.php
-rw-r--r-- 1248 IncludableSpecialPage.php
-rw-r--r-- 7153 RedirectSpecialPage.php
-rw-r--r-- 18311 SpecialPage.php
-rw-r--r-- 18860 SpecialPageFactory.php
-rw-r--r-- 1250 UnlistedSpecialPage.php