Files generated by the JSON schema compiler are named incorrectly

chrome/common/extensions/api/mediaPlayerPrivate.json

Index: chrome/common/extensions/api/mediaPlayerPrivate.json
diff --git a/chrome/common/extensions/api/mediaPlayerPrivate.json b/chrome/common/extensions/api/mediaPlayerPrivate.json
deleted file mode 100644
index fef30a00ce9898c21b94933c4a18ead2304ab8e9..0000000000000000000000000000000000000000
--- a/chrome/common/extensions/api/mediaPlayerPrivate.json
+++ /dev/null
@@ -1,91 +0,0 @@
-// 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.
-
-[
-  {
-    "namespace": "mediaPlayerPrivate",
-    "nodoc": "true",
-    "types": [
-      {
-        "id": "Playlist",
-        "type": "object",
-        "description": "Mediaplayer playlist stored in the browser (it extsts even if the mediaplayer is closed).",
-        "properties": {
-          "items": {
-            "name": "items",
-            "type": "array",
-            "description": "Array of URLs for media files (in 'filesystem:' scheme for local files)",
-            "items": { "type": "string" }
-          },
-          "position": {
-            "type": "integer",
-            "description": "A position in the playlist."
-          }
-        }
-      }
-    ],
-    "functions": [
-      {
-        "name": "play",
-        "description": "Plays a new playlist from a given position.",
-        "parameters": [
-          {
-            "name": "items",
-            "type": "array",
-            "description": "Array of URLs for media files (in 'filesystem:' scheme for local files)",
-            "items": { "type": "string" }
-          },
-          {
-            "name": "position",
-            "type": "integer",
-            "description": "A position in the playlist."
-          }
-        ]
-      },
-      {
-        "name": "getPlaylist",
-        "type": "function",
-        "description": "Returns current playlist and position.",
-        "parameters": [
-          {
-            "name": "callback",
-            "type": "function",
-            "description": "Callback to retrieve the playlist.",
-            "parameters": [
-              {
-                "name": "playlist",
-                "$ref": "Playlist",
-                "description": "Mediaplayer playlist stored in the browser (it extsts even if the mediaplayer is closed)."
-              }
-            ]
-          }
-        ]
-      },
-      {
-        "name": "setWindowHeight",
-        "description": "Changes the height of the media player window.",
-        "parameters": [
-          {
-            "name": "height",
-            "type": "integer",
-            "description": "Height of the media player window (not including window title or borders)."
-          }
-        ]
-      },
-      {
-        "name": "closeWindow",
-        "description": "Closes the media player window.",
-        "parameters": []
-      }
-    ],
-    "events": [
-      {
-        "name": "onPlaylistChanged",
-        "type": "function",
-        "description": "Notifies that playlist content or state has been changed. Data could be retrieved via 'getPlaylist'.",
-        "parameters": []
-      }
-    ]
-  }
-]