[ajax] use a custom tag to handle dynamically loaded js Using <pre class="script"> makes it trivial for a malicious user to inject arbitrary javascript into a html or rest text element (because it looks innocent to the html sanitizer). Using a custom tag we can be sure that it actually comes from our code and not from untrusted user data. IE ignores custom tags, though, so we put it in its own namespace. https://extranet.logilab.fr/1530578

     1

import ConfigParser

     2

try:

     3

    undo_actions = config.cfgfile_parser.get('MAIN', 'undo-support', False)

     4

except ConfigParser.NoOptionError:

     5

    pass # this conf. file was probably already migrated

     6

else:

     7

    config.global_set_option('undo-enabled', bool(undo_actions))