Replace echo + die with die()
authorPlatonides <platonides@users.mediawiki.org>
Sun, 1 Aug 2010 18:05:50 +0000 (18:05 +0000)
committerPlatonides <platonides@users.mediawiki.org>
Sun, 1 Aug 2010 18:05:50 +0000 (18:05 +0000)
commit9d052931aca58d7a22a44b128a47b2120ec9139b
tree95f97aec97714a0355ecb0922be58296c47513dd
parent8bac3e10edeed3e82739c438604222119d096105
Replace echo + die with die()
maintenance/Maintenance.php