Re-grouping and ordering the editing preferences
authorTMg <mr.heat@gmx.de>
Sat, 25 May 2013 15:01:27 +0000 (17:01 +0200)
committerMatmaRex <matma.rex@gmail.com>
Sun, 30 Jun 2013 13:46:56 +0000 (15:46 +0200)
commit08de49eb886dd75d0d8a86b58194c23003bf08c6
tree41c677b9a7bf439892ca49019b3dcd13824e049c
parentb8f9b16b84155ac4b764816d82f11a0476065c73
Re-grouping and ordering the editing preferences

Arange the settings in three groups: How to call the editor, how
the editor looks and how the preview works. The only toolbar
preference is at the bottom because the WikiEditor extension adds
its stuff there. All the preferences are untouched. This does not
add or remove a preference.

Goes with Id8b9a47a in the WikiEditor extension.

Change-Id: I429c8125b8db789d2756d61249f6cf1fa7f2f51c
includes/Preferences.php
languages/messages/MessagesEn.php
languages/messages/MessagesQqq.php
maintenance/language/messages.inc