DevTools: allow setting individual console filter levels.

third_party/WebKit/Source/devtools/front_end/console_model/ConsoleModel.js

 /*
  * Copyright (C) 2011 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 631 matching lines @@
 /**
  * @enum {string}
  */
 ConsoleModel.ConsoleMessage.MessageLevel = {
   Verbose: 'verbose',
   Info: 'info',
   Warning: 'warning',
   Error: 'error'
 };
 
-/**
- * @param {!ConsoleModel.ConsoleMessage.MessageLevel} level
- * @return {number}
- */
-ConsoleModel.ConsoleMessage.MessageLevel.ordinal = function(level) {
-  if (level === ConsoleModel.ConsoleMessage.MessageLevel.Verbose)
-    return 0;
-  if (level === ConsoleModel.ConsoleMessage.MessageLevel.Info)
-    return 1;
-  if (level === ConsoleModel.ConsoleMessage.MessageLevel.Warning)
-    return 2;
-  return 3;
-};
-
 ConsoleModel.ConsoleModel._events = Symbol('ConsoleModel.ConsoleModel.events');
 
 /**
  * @type {!ConsoleModel.ConsoleModel}
  */
 ConsoleModel.consoleModel;