mozilla-b2g/gaia — pull request #5283 by fabi1cazenave (2012-09-27 07:59:16+00:00)
Title: [settings] move the "Developer" panel to a sub-panel

See #3131.