Last modified: 2011-03-13 18:05:04 UTC
Currently, menu options for the special character menu in
[[MediaWiki:Edittools]] are fetched from [[MediaWiki:Monobook.
js]]. The problem is that everyone has to get loaded
[[MediaWiki:Monobook.js]] when watching Wikipedia for the
first time since some days (after clearing the browser cache,
or for the first time at all)! So it would be much better if
the page [[MediaWiki:Editmenu.js]] (or maybe [[MediaWiki:
Editmenuoptions.js]]) could contain this java script. This
"edit", of course. BTW: On en.WP "Editmenu.js" is only a page
where everyone can copy&paste the code, at the moment.
Best regards, Melancholie
I have closed this bug, because I have seen that there
is already [[MediaWiki:Charset.js]] (since some days)!
Sorry for being overhasty. -- Melancholie
To see the differences between the two pages please look at
Bug 4639: Allow Diff of current revosion of one page with old revision from
To my understanding Java scripts or Java scripts for extensions are not included
/ activated in the main branch of MediaWiki.
If this aplies here how would be the propper values for "Product" and
"Component" of this bug / report / request?
best regards reinhardt [[user:gangleri]]
(In reply to comment #2)
> To see the differences between the two pages please look at
The correct url would be: