Manual:WikimediaMaintenance.php