1364063 - Devtools add-on should no longer set development preferences

Status: RESOLVED FIXED

(DevTools :: General, enhancement, P3)

Description

[Alexandre Poirot [:ochameau]]

For now, the add-on was only use for development purpose, but now that it is about to become the production codepath, it should no longer set all these preferences easing working on DevTools codebase.

Comment 1

[Alexandre Poirot [:ochameau]]

Attachment: Bug 1364063 - Stop setting development preferences from DevTools add-on.

Review commit: https://reviewboard.mozilla.org/r/138378/diff/#index_header
See other reviews: https://reviewboard.mozilla.org/r/138378/

Comment 2

[Julian Descottes [:jdescottes] (PTO -> Jan 5th)]

Comment on attachment 8866771 [details]
Bug 1364063 - Stop setting development preferences from DevTools add-on.

https://reviewboard.mozilla.org/r/138378/#review141564

LGTM!

Comment 3

[Alexandre Poirot [:ochameau]]

https://treeherder.mozilla.org/#/jobs?repo=try&revision=fe03c5e0fe0ce5e7ad53f6a9802aaa089239335c

Comment 4

[Alexandre Poirot [:ochameau]]

https://treeherder.mozilla.org/#/jobs?repo=try&revision=fd81bbf8db4ffa20f4d6f1f7a475dae634f9d457

Comment 5

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/integration/autoland/rev/6ceba506b62a
Stop setting development preferences from DevTools add-on. r=jdescottes

Comment 6

[Carsten Book [:Tomcat]]

https://hg.mozilla.org/mozilla-central/rev/6ceba506b62a