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