mozilla-b2g/gaia — pull request #5205 by fabi1cazenave (2012-09-26 07:44:20+00:00)
Title: [settings] developer panel

See issue #3131, this moves the whole “debug” sub-section to a new “Developer” panel.