Bug 1020948 - Stop preventing source discarding when using devtools. r=jryans
Bug 1020948 - Ensure fetching script sources when DebuggerObject.source fails. r=past
Bug 1030716 - Prevent dark theme in sourceeditor for WebIDE. r=paul
Bug 1031000 - Fix problem with TabSource Prompt. r=blassey