Manual:$wgUseExternalEditor

From mediawiki.org
Site customization: $wgUseExternalEditor
Determine if users are allowed to edit using external editor interface.
Introduced in version:1.5.0
Removed in version:1.22.0 (Gerrit change 30173; git #Ic3791d1)
Allowed values:(boolean)
Default value:true

Details[edit]

Controls if users are allowed to use an external editor.

This just controls if users are allowed to use an external editor. It does not force them to use an external editor.

See also[edit]