Remove no longer needed code for PHP 5.2 compat
authorjeroendedauw <jeroendedauw@gmail.com>
Tue, 19 Nov 2013 17:04:11 +0000 (18:04 +0100)
committerIAlex <codereview@emsenhuber.ch>
Tue, 19 Nov 2013 17:13:28 +0000 (17:13 +0000)
commit237359a9400a24e072bec37aa6b6107487518b77
tree7178553c0719708e52214d2c3f00e831e2f53ef5
parente2b38fb80752bf6ccf247b1945b208617e80ee90
Remove no longer needed code for PHP 5.2 compat

Change-Id: I9c1f5f12f51274c443084da55447d12b828a9fb0
includes/SpecialPage.php