https://bugzilla.wikimedia.org/show_bug.cgi?id=46779
Web browser: ---
Bug ID: 46779
Summary: Provide a way to disable CodeEditor in user
preferences
Product: MediaWiki extensions
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: CodeEditor
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
Mobile Platform: ---
Every editor can be disabled in preferences, but not CodeEditor. On Wikipedia
it just loads on every Module: page, and even ignores the settings about
WikiEditor (it loads WikiEditor even if disabled and hooks into it).
--
You are receiving this mail because:
You are the assignee for the bug.
You are watching all bug changes.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
