[web] Stop patching jquery.treeview.js This logically reverts part of e9b7cd2e9012 "allow treeview to work correctly in a tab #345293". The treeview and ajax code have suffered a number of changes since then, this change doesn't seem to be necessary anymore. It is most likely unneeded since f65208c9dbdc "[javascript] use jQuery.one('ajax-loaded') instead of jQuery.bind() in add_onload to avoid multiple callback executions".

sync_schema_props_perms('State')
sync_schema_props_perms('state_of')
sync_schema_props_perms('BaseTransition')
sync_schema_props_perms('Transition')
sync_schema_props_perms('WorkflowTransition')
sync_schema_props_perms('transition_of')