Manual:$wgUseExternalEditor

Details
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.