Add missing ModuleMaintenance.php.