externaleditor, externaldiff checks
In this patch we add checks for $wgUseExternalEditor, $wgExternalDiffEngine, before presenting the corresponding options to the user.
Version: 1.16.x
Severity: minor
Attached:
externaleditor, externaldiff checks
In this patch we add checks for $wgUseExternalEditor, $wgExternalDiffEngine, before presenting the corresponding options to the user.
Version: 1.16.x
Severity: minor
Attached:
(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.