Removed support deprecated (//@|/*@) source(URL|MappingURL)=

src/js/messages.js

Index: src/js/messages.js
diff --git a/src/js/messages.js b/src/js/messages.js
index 17b832a9fca06402bf8c6960724a9676561cda3b..8db1166ff472ef1853ba579fc21268057230d10a 100644
--- a/src/js/messages.js
+++ b/src/js/messages.js
@@ -448,11 +448,10 @@ function ScriptLineEnd(n) {
  * If sourceURL comment is available returns sourceURL comment contents.
  * Otherwise, script name is returned. See
  * http://fbug.googlecode.com/svn/branches/firebug1.1/docs/ReleaseNotes_1.1.txt
- * and Source Map Revision 3 proposal for details on using //# sourceURL and
- * deprecated //@ sourceURL comment to identify scripts that don't have name.
+ * and Source Map Revision 3 proposal for details on using //# sourceURL
+ * comment to identify scripts that don't have name.
  *
- * @return {?string} script name if present, value for //# sourceURL or
- * deprecated //@ sourceURL comment otherwise.
+ * @return {?string} script name if present, value for //# sourceURL comment.
  */
 function ScriptNameOrSourceURL() {
   if (this.source_url) return this.source_url;