Last modified: 2009-06-09 23:01:07 UTC
Created attachment 6205 [details] externaleditor, externaldiff checks In this patch we add checks for $wgUseExternalEditor, $wgExternalDiffEngine, before presenting the corresponding options to the user.
(An administrator should probably reset any users' bad choces with maintenance/userOptions.php before locking the power to change them away from them.)
Looks good. Can't commit from here, though. If no one else commits, I'll grab this tonight after work.
Done in r51667