Merge "Replace User::isAllowed with PermissionManager."
[lhc/web/wiklou.git] / includes / actions / pagers /
drwxr-xr-x   ..
-rw-r--r-- 18256 HistoryPager.php