https://bugzilla.wikimedia.org/show_bug.cgi?id=22393
--- Comment #3 from Roan Kattouw <roan.katt...@gmail.com> 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 > know > whether it's done at the server end. That's for installing CharInsert, which happened years ago. The setting that does need to be changed is in MediaWiki:Edittool.js ; this happened on English Wikipedia (and possibly other wikis as well), so you can test there. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l