SpecialUserrights: Remove incorrect comment
authorBartosz Dziewoński <matma.rex@gmail.com>
Wed, 23 Nov 2016 15:37:39 +0000 (16:37 +0100)
committerBartosz Dziewoński <matma.rex@gmail.com>
Thu, 24 Nov 2016 17:04:55 +0000 (17:04 +0000)
commit6814083b52d902f5bf577cc07a3b2c1517dd663d
tree4eb3c65e7d7e525e32d16aa8e90c576a236c0d31
parent6e514e06b3221bc509b0162b75b71e4ce6a70fba
SpecialUserrights: Remove incorrect comment

While this used to be true, it no longer is since we require at least
PHP 5.5, and I don't see how this would improve the code here anyway.

Change-Id: Ica1995f1b2208f2a99696cf0a0010131737d490f
includes/specials/SpecialUserrights.php