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
Rein wrote :
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:
- 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)
- it's really a bug - the second + shouldn't be there
- it's really a bug: some code/script is forgotten or doesn't work properly
- I don't use it the way it is intended
on http://www.mediawiki.org/w/index.php?title=MediaWiki:Edittools I only see <charinsert>[[+|]]</charinsert>, no <charinsert>[[+|+]]</charinsert>
I think <charinsert> is not mean to be used with two + in the same "block" (i.e. without space between group of chars like <charinsert>[[+|+]]</charinsert> as opposed to <charinsert>“+” ‘+’ «+» ‹+› „+“ ‚+‘</charinsert>)
not 100% sure though.
mediawiki-l@lists.wikimedia.org