sh = shell.Shell()
if not os.path.isfile("AdminSettings.php"):
sh.call("git", "checkout", "mediawiki-" + str(version), "--", "AdminSettings.php")
sh = shell.Shell()
if not os.path.isfile("AdminSettings.php"):
sh.call("git", "checkout", "mediawiki-" + str(version), "--", "AdminSettings.php")