update list of common Mime Types in PHP development server to support Web audio/video...

diff --git a/sapi/cli/php_cli_server.c b/sapi/cli/php_cli_server.c
index 5f263cb3224ebce0718949c381e77e1b06bf53d8..8cff439392c41be2acf9a2ab59993420b5a5831f 100644 (file)
--- a/sapi/cli/php_cli_server.c
+++ b/sapi/cli/php_cli_server.c
@@ -259,10 +259,13 @@ static php_cli_server_ext_mime_type_pair mime_type_map[] = {
        { "gif", "image/gif" },
        { "jpg", "image/jpeg" },
        { "jpeg", "image/jpeg" },
-       { "png", "image/png" },
        { "jpe", "image/jpeg" },
+       { "png", "image/png" },
        { "svg", "image/svg+xml" },
        { "txt", "text/plain" },
+       { "webm", "video/webm" },
+       { "ogv", "video/ogg" },
+       { "ogg", "audio/ogg" },
        { NULL, NULL }
 };