Web Inspector: rename "sourceName" to "sourceFileId" in ScriptsPanel.js. sourceFileId better reflects the intention to have unique identifier for each source that is shown in scripts panel.
Created attachment 84395 [details] Patch.
Committed r80224: <http://trac.webkit.org/changeset/80224>