- A bunch of corrections to schema (mostly typos, commas at the end of descriptions, also webInspecotor.panels.scripts => webInspector.panels.elements) - Make properties panel non-editable - another rename in chromium port (chrome.devTools => chrome.exeprimental.devtools)
Created attachment 90699 [details] patch
Manually committed r84624: http://trac.webkit.org/changeset/84624