From cff73e6b6e09c50749909361fb0b74399abb9365 Mon Sep 17 00:00:00 2001 From: Gilles Dubuc Date: Tue, 24 Apr 2018 10:10:57 +0200 Subject: [PATCH] Add "developer tools" preferences section Under editing. Will be used for the ParserMigration and PerformanceInspector extensions Bug: T129322 Change-Id: Id98d8d5245f207bd817854e43794800e89fe0f50 --- languages/i18n/en.json | 1 + languages/i18n/qqq.json | 1 + 2 files changed, 2 insertions(+) diff --git a/languages/i18n/en.json b/languages/i18n/en.json index 331e00d2b8..a791440109 100644 --- 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 8aee6f28cc..cc0fc01b2b 100644 --- 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}}", -- 2.20.1