Relax phpdoc of PermissionError to match actual usage
authorGergő Tisza <gtisza@wikimedia.org>
Fri, 14 Oct 2016 22:59:11 +0000 (22:59 +0000)
committerGergő Tisza <gtisza@wikimedia.org>
Tue, 18 Oct 2016 21:08:41 +0000 (21:08 +0000)
commitd452323171833903331814cdf53134598fe71aed
tree2f583a2b9281164719d3d37110306206df27288d
parenta946285e4d1b40ddb9374ae791a4aeb159eb7bb1
Relax phpdoc of PermissionError to match actual usage

Also fix OutputPage::showPermissionsErrorPage to handle everything
it claims to handle.

Change-Id: I8ed4a6f2f038fe70084ab673300e24af97e935db
includes/OutputPage.php
includes/exception/PermissionsError.php