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 JavaScript page should only be loaded if someone clicks on "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
Hallo! To see the differences between the two pages please look at http://en.wikipedia.org/w/index.php?title=Charset.js&diff=35495451&oldid=35293962 mentioned at Bug 4639: Allow Diff of current revosion of one page with old revision from another page 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 > http://en.wikipedia.org/w/index.php?title=Charset.js&diff=35495451&oldid=35293962 The correct url would be: http://en.wikipedia.org/w/index.php?title=MediaWiki:Charset.js&diff&oldid=35293962
