[web/js] Deprecate baseuri() and replace with BASE_URL (closes #3955372)
Added by commit 8bf2337a6f3b and publicly available since 3.11.2
released more than 3 years ago.
import ConfigParser
try:
undo_actions = config.cfgfile_parser.get('MAIN', 'undo-support', False)
except ConfigParser.NoOptionError:
pass # this conf. file was probably already migrated
else:
config.global_set_option('undo-enabled', bool(undo_actions))