Remove some PHP 5.2 cruft (we already bailed for < 5.3.2)
authorChad Horohoe <chadh@wikimedia.org>
Mon, 24 Sep 2012 14:43:30 +0000 (10:43 -0400)
committerChad Horohoe <chadh@wikimedia.org>
Mon, 24 Sep 2012 14:43:30 +0000 (10:43 -0400)
commitcd1a039320908eed328047d277e79942534a8844
treec0109ee699e42f79729bed6446c7fe56fcac37d3
parent4f1f27b664c2e4427eae6187a5ab4d93fe75e03e
Remove some PHP 5.2 cruft (we already bailed for < 5.3.2)

Change-Id: I7057c2e0f389095b9d6191e6fdee0c6ff2f97bd8
maintenance/Maintenance.php