DevTools: Add support for //# sourceURL (sourceMappingURL) comments and deprecate //@ ones

Source/devtools/front_end/utilities.js

 /*
  * Copyright (C) 2007 Apple Inc.  All rights reserved.
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
@@ skipping 1122 matching lines @@
         return;
     var xhr = new XMLHttpRequest();
     _importedScripts[scriptName] = true;
     if (window.flattenImports)
         scriptName = scriptName.split("/").reverse()[0];
     xhr.open("GET", scriptName, false);
     xhr.send(null);
     if (!xhr.responseText)
         throw "empty response arrived for script '" + scriptName + "'";
     var sourceURL = WebInspector.ParsedURL.completeURL(window.location.href, scriptName); 
-    window.eval(xhr.responseText + "\n//@ sourceURL=" + sourceURL);
+    window.eval(xhr.responseText + "\n//# sourceURL=" + sourceURL);
 }
 
 var loadScript = importScript;
 
 /**
  * @constructor
  */
 function CallbackBarrier()
 {
     this._pendingIncomingCallbacksCount = 0;
@@ skipping 27 matching lines @@
         console.assert(this._pendingIncomingCallbacksCount > 0);
         if (userCallback) {
             var args = Array.prototype.slice.call(arguments, 1);
             userCallback.apply(null, args);
         }
         if (!--this._pendingIncomingCallbacksCount && this._outgoingCallback)
             this._outgoingCallback();
     }
 }