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)
