Page MenuHomePhabricator

Remove $wgCodeMirrorEnableFrontend
Closed, ResolvedPublic


What is it needed for? If an extension needs to be disabled, it should be removed from LocalSettings. Otherwise, it's not only confusing but also shoots you in the foot when an extension is kinda disabled but also kinda continues to be executed.

Event Timeline

I support this. It's tripped me a couple of times now. What's the reasoning behind the flag? Can the extension still do some stuff (which we haven't enabled but third parties might have) with the flag being false?

@Pastakhov: Is there any reason we need this config variable?

Not sure for what the one was added by change 199941.

Puhh, not sure anymore, why I added it, so no.

Change 373585 had a related patch set uploaded (by Florianschmidtwelzow; owner: Florianschmidtwelzow):
[mediawiki/extensions/CodeMirror@master] Remove $wgCodeMirrorEnableFrontend

Change 373585 merged by jenkins-bot:
[mediawiki/extensions/CodeMirror@master] Remove $wgCodeMirrorEnableFrontend