Demon has uploaded a new change for review. Change subject: Remove externaledit/externaldiff preference ......................................................................
Remove externaledit/externaldiff preference Change-Id: Ic3791d188688f556753ab5556a4d9733bbf2e85e --- M includes/AutoLoader.php M includes/DefaultSettings.php D includes/ExternalEdit.php M includes/ImagePage.php M includes/Preferences.php M includes/actions/EditAction.php M includes/diff/DifferenceEngine.php M languages/messages/MessagesEn.php M maintenance/language/messages.inc 9 files changed, 5 insertions(+), 222 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/73/30173/1 -- To view, visit https://gerrit.wikimedia.org/r/30173 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ic3791d188688f556753ab5556a4d9733bbf2e85e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Demon <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
