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

Source/devtools/front_end/ResourceScriptMapping.js

 /*
  * 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:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 289 matching lines @@
                 return;
             }
 
             this._scriptSource = source;
             this._update();
         }
         if (!this._script)
             return;
         var source = this._uiSourceCode.workingCopy();
         if (this._script.hasSourceURL && !this._sourceEndsWithSourceURL(source))
-            source += "\n //@ sourceURL=" + this._script.sourceURL;
+            source += "\n //# sourceURL=" + this._script.sourceURL;
         WebInspector.debuggerModel.setScriptSource(this._script.scriptId, source, innerCallback.bind(this));
     },
 
     /**
      * @return {boolean}
      */
     _isDiverged: function()
     {
         if (this._uiSourceCode.formatted())
             return false;
         if (this._uiSourceCode.isDirty())
             return true;
         if (!this._script)
             return false;
         if (typeof this._scriptSource === "undefined")
             return false;
         return !this._sourceMatchesScriptSource(this._uiSourceCode.workingCopy(), this._scriptSource);
     },
 
     /**
      * @param {string} source
      * @param {string} scriptSource
      * @return {boolean}
      */
     _sourceMatchesScriptSource: function(source, scriptSource)
     {
         if (!scriptSource.startsWith(source))
             return false;
         var scriptSourceTail = scriptSource.substr(source.length).trim();
-        return !scriptSourceTail || !!scriptSourceTail.match(/^\/\/@\ssourceURL=\s*(\S*?)\s*$/m);
+        return !scriptSourceTail || !!scriptSourceTail.match(/^\/\/[@#]\ssourceURL=\s*(\S*?)\s*$/m);
     },
 
     /**
      * @param {string} source
      * @return {boolean}
      */
     _sourceEndsWithSourceURL: function(source)
     {
-        return !!source.match(/\/\/@\ssourceURL=\s*(\S*?)\s*$/m);
+        return !!source.match(/\/\/[@#]\ssourceURL=\s*(\S*?)\s*$/m);
     },
 
     /**
      * @param {WebInspector.Event} event
      */
     _workingCopyChanged: function(event)
     {
         this._update();
     },
 
@@ skipping 68 matching lines @@
     },
 
     dispose: function()
     {
         this._uiSourceCode.removeEventListener(WebInspector.UISourceCode.Events.WorkingCopyCommitted, this._workingCopyCommitted, this);
         this._uiSourceCode.removeEventListener(WebInspector.UISourceCode.Events.WorkingCopyChanged, this._workingCopyChanged, this);
     },
 
     __proto__: WebInspector.Object.prototype
 }