Merge "Fix PhanUndeclaredType* errors (#3)"
[lhc/web/wiklou.git] / includes / Permissions /
2019-04-05 jenkins-botMerge "Fix PhanUndeclaredType* errors (#3)"
2019-04-05 jenkins-botMerge "media: Convert JpegHandler to shell execution...
2019-04-05 jenkins-botMerge "Remove broken explode() from MediaWikiMediaTestC...
2019-04-05 jenkins-botMerge "Remove warning for unnused 4th argument on wikid...
2019-04-05 jenkins-botMerge "Introduce PermissionManager service"
2019-04-05 VedmakaIntroduce PermissionManager service