[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 crangasi2...@yahoo.com changed: What|Removed |Added CC||crangasi2...@yahoo.com --- Com

[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 --- Comment #8 from Roan Kattouw 2010-02-10 11:53:50 UTC --- (In reply to comment #7) > This is not able to verify since the user account do not have sufficient > authorization to follow the steps given in > http://en.wikipedia.org/wiki/MediaW

[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 --- Comment #7 from Calcey QA 2010-02-10 11:00:25 UTC --- This is not able to verify since the user account do not have sufficient authorization to follow the steps given in http://en.wikipedia.org/wiki/MediaWiki:Edittools.js -- Configure bug

[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 Trevor Parscal changed: What|Removed |Added Status|NEW |RESOLVED Resolution|

[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 --- Comment #5 from Roan Kattouw 2010-02-09 16:33:48 UTC --- (In reply to comment #4) > (In reply to comment #1) > > The same problem existed on the English Wikipedia, where the following fix > > was > > deployed as suggested by Trevor. > >

[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 --- Comment #4 from Raimond Spekking 2010-02-09 16:04:13 UTC --- (In reply to comment #1) > The same problem existed on the English Wikipedia, where the following fix was > deployed as suggested by Trevor. > > http://en.wikipedia.org/w/index.

[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 --- Comment #3 from Roan Kattouw 2010-02-09 13:52:47 UTC --- (In reply to comment #2) > As per http://www.mediawiki.org/wiki/Extension:CharInsert there should be a > setting to be done in LocalSettings.php file. Appreciate if you can let me >

[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 Calcey QA changed: What|Removed |Added CC||wikib...@calcey.com --- Comment #2 from Ca

[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 Derk-Jan Hartman changed: What|Removed |Added CC||hart...@videolan.org --- Comment #1

[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 Gnu1742 changed: What|Removed |Added CC||gnu1...@arcor.de -- Configure bugmail: http

[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 nkom...@wikimedia.org changed: What|Removed |Added Priority|Normal |High Severity|normal

[Bug 22393] Charinsert / Edittools (the old one) does not work

https://bugzilla.wikimedia.org/show_bug.cgi?id=22393 nkom...@wikimedia.org changed: What|Removed |Added CC||nkom...@wikimedia.org -- Conf