* master:
show license not copyright SPR-794
use proper translation mechanism for JS SPR-798
added type ints for other plugins
SPR-797 fix ID uniqueness
Now the SVGs are loaded via AJAX and are directly embedded into the
HTML. This allows for styling them via CSS and we can apply proper hover
styles.
The svg dispatcher was extended with an embed option (boolean parameter
'e') which will return an absolute minimum svg with absolutely no
styles.
This implements the JS logic as discussed in our meeting. A sidebar can
now contain virtually any wiki syntax. (currently hardcoded) H2 elements
will toggle all their following content which is wrapped in a wrapper
div.
This is currently implemented on top of the old JavaScript which should
be removed.
The toggle element should be made configurable.
We probably want to reuse some of the toggle logic for the user tools.
