def newenvironment(): """setup a base environment, with a backup wiki in case an extension actually fails""" mwinstaller = Mediawiki_Installer() #remove old stuff try: mwinstaller.uninstall(target_wiki) except Exception, e: #? raise e
def newenvironment(): """setup a base environment, with a backup wiki in case an extension actually fails""" mwinstaller=Mediawiki_Installer() #remove old stuff try: mwinstaller.uninstall(target_wiki) except Exception,e: #? raise e
def clear(): """When an extension fails to uninstall cleanly, uninstall the entire wiki, and copy the backup back in its place""" mwinstaller = Mediawiki_Installer() mwinstaller.uninstall(target_wiki) mwinstaller.duplicate(target_wiki2, target_wiki)
def clear(): """When an extension fails to uninstall cleanly, uninstall the entire wiki, and copy the backup back in its place""" mwinstaller=Mediawiki_Installer() mwinstaller.uninstall(target_wiki) mwinstaller.duplicate(target_wiki2, target_wiki)