cleanup:
- disable scripts "under construction"
- only display template button if we have sufficient privileges
degree -> programme
menubox style in pp-css
yet another instance of degree -> programme
yet another instance of degree -> programme
remove dead / deprecated code ;more flexible api for html_options()
implement dropdown-lists as <ul>
support for sql profiling (wip); support dealing with references in sql_delete_generic()
fix deprecated css-table-option: use css-class `css` instead
use new menubox css correctly
fix call of html_options()
dropdown: split code:
- dropdown_element(): generic dropdown with any payload
- select_element(): selection list gadget using dropdown_element(), except ...
- builtin_select_element(): tool to use builtin <select>, for browser which don't support dropdown_element()