Update formatting
authorSiebrand Mazeland <s.mazeland@xs4all.nl>
Mon, 20 May 2013 18:28:37 +0000 (20:28 +0200)
committerSiebrand Mazeland <s.mazeland@xs4all.nl>
Mon, 20 May 2013 18:28:37 +0000 (20:28 +0200)
commit819e9a92a39807da1d94d083d66e57623f0805c4
tree26bc6d0d56b45004097e5937e0e62c0511a924a8
parent4f98011fdd98328028d152baf27627fea0c28d3e
Update formatting

Fixes for issues CodeSniffer complained about at
https://integration.wikimedia.org/ci/job/mediawiki-core-phpcs-HEAD/9920/console
for 4f98011fdd98328028d152baf27627fea0c28d3e.

Change-Id: I2cc0cee6ff8260e74ad8b1721614ae16a360e68d
includes/SpecialPage.php