PPAPI: Move PPB_Console out of dev.

ppapi/api/dev/ppb_console_dev.idl

-/* Copyright (c) 2012 The Chromium Authors. All rights reserved.
- * Use of this source code is governed by a BSD-style license that can be
- * found in the LICENSE file.
- */
-
-/**
- * This file defines the <code>PPB_Console_Dev</code> interface.
- */
-
-[generate_thunk]
-
-label Chrome {
-  M14 = 0.1
-};
-
-[assert_size(4)]
-enum PP_LogLevel_Dev {
-  PP_LOGLEVEL_TIP = 0,
-  PP_LOGLEVEL_LOG = 1,
-  PP_LOGLEVEL_WARNING = 2,
-  PP_LOGLEVEL_ERROR = 3
-};
-
-interface PPB_Console_Dev {
-  /**
-   * Logs the given message to the JavaScript console associated with the
-   * given plugin instance with the given logging level. The name of the plugin
-   * issuing the log message will be automatically prepended to the message.
-   * The value may be any type of Var.
-   */
-  void Log(
-      [in] PP_Instance instance,
-      [in] PP_LogLevel_Dev level,
-      [in] PP_Var value);
-
-  /**
-   * Logs a message to the console with the given source information rather
-   * than using the internal PPAPI plugin name. The name must be a string var.
-   *
-   * The regular log function will automatically prepend the name of your
-   * plugin to the message as the "source" of the message. Some plugins may
-   * wish to override this. For example, if your plugin is a Python
-   * interpreter, you would want log messages to contain the source .py file
-   * doing the log statement rather than have "python" show up in the console.
-   */
-  void LogWithSource(
-      [in] PP_Instance instance,
-      [in] PP_LogLevel_Dev level,
-      [in] PP_Var source,
-      [in] PP_Var value);
-};