Page MenuHomePhabricator

MediaWiki:Charset.js for special character menu options
Closed, DeclinedPublic

Description

Author: Wiki.Melancholie

Description:
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


Version: unspecified
Severity: normal
URL: http://en.wikipedia.org/wiki/MediaWiki:Charset.js

Details

Reference
bz4637

Event Timeline

bzimport raised the priority of this task from to Lowest.Nov 21 2014, 9:03 PM
bzimport set Reference to bz4637.
bzimport added a subscriber: Unknown Object (MLST).

Wiki.Melancholie wrote:

I have closed this bug, because I have seen that there
is already [[MediaWiki:Charset.js]] (since some days)!
Sorry for being overhasty. -- Melancholie

gangleri wrote:

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]]