Manual:$wgUseExternalEditor/en

Details
Controls if users are allowed to use an external editor.