Add "developer tools" preferences section
authorGilles Dubuc <gilles@wikimedia.org>
Tue, 24 Apr 2018 08:10:57 +0000 (10:10 +0200)
committerGilles Dubuc <gilles@wikimedia.org>
Tue, 24 Apr 2018 08:10:57 +0000 (10:10 +0200)
commitcff73e6b6e09c50749909361fb0b74399abb9365
tree14d5763da0b0f52fa67b364fc4c33ee214f30f16
parente03388b39aa68b21cfe566577359cca5bc85a3e4
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
languages/i18n/qqq.json