Thank you, Alexis: is was just common.js.
Makes you wonder why it is not standard in MediaWiki.
One bug I want to report in the buttons:
One of the 'actions' is this one:
<charinsert>[[+|+]]</charinsert> ·
+ stands for the selected text. Double + should mean that the selected text is copied. But
instead of doing this, it breaks of at the second +.
I see three possibilities:
1. another script is needed to do this properly (in
http://www.mediawiki.org/w/ the second
+ doesn't work either, but it doesn't brake of - the]] do appear)
2. it's really a bug - the second + shouldn't be there
3. it's really a bug: some code/script is forgotten or doesn't work properly
4. I don't use it the way it is intended
Rein