https://bugzilla.wikimedia.org/show_bug.cgi?id=22393
Summary: Charinsert / Edittools (the old one) does not work Product: MediaWiki extensions Version: any Platform: All OS/Version: All Status: NEW Severity: normal Priority: Normal Component: UsabilityInitiative AssignedTo: tpars...@wikimedia.org ReportedBy: raimond.spekk...@gmail.com CC: roan.katt...@gmail.com, ngau...@wikimedia.org, amil...@wikimedia.org Firefox 3.6/Windows 7 on dewiki: Inserting characters via the (old) Edittools/charinsert extension ([[de:MediaWiki:Onlyifediting.js]] does not longer work after deploying the latest UI changes to dewiki. This extension is still needed to insert characters/code markup not part of the new Edittoolbar. -- 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