Manual:$wgUseExternalEditor

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