Merge "Add "developer tools" preferences section"

diff --git a/languages/i18n/en.json b/languages/i18n/en.json
index 331e00d..a791440 100644 (file)
--- a/languages/i18n/en.json
+++ b/languages/i18n/en.json
@@ -1120,6 +1120,7 @@
        "prefs-dateformat": "Date format",
        "prefs-timeoffset": "Time offset",
        "prefs-advancedediting": "General options",
+       "prefs-developertools": "Developer tools",
        "prefs-editor": "Editor",
        "prefs-preview": "Preview",
        "prefs-advancedrc": "Advanced options",

diff --git a/languages/i18n/qqq.json b/languages/i18n/qqq.json
index 8aee6f2..cc0fc01 100644 (file)
--- a/languages/i18n/qqq.json
+++ b/languages/i18n/qqq.json
@@ -1317,6 +1317,7 @@
        "prefs-dateformat": "Used in [[Special:Preferences#mw-prefsection-datetime|Special:Preferences]], tab \"Appearance\".\n{{Identical|Date format}}",
        "prefs-timeoffset": "Used in [[Special:Preferences]], tab \"Date and time\".",
        "prefs-advancedediting": "Used in [[Special:Preferences]], tab \"Editing\".\nThis used to say \"Advanced options\", the key name is a left over from that.",
+       "prefs-developertools": "Used in [[Special:Preferences]], tab \"Editing\".",
        "prefs-editor": "Used in [[Special:Preferences]], tab \"Editing\" ({{int:prefs-editing}}).\n\n{{Identical|Editor}}",
        "prefs-preview": "Used in [[Special:Preferences]], tab \"Editing\".\n{{Identical|Preview}}",
        "prefs-advancedrc": "Used in [[Special:Preferences]], tab \"Recent changes\".\n{{Identical|Advanced options}}",