| Index: webkit/api/public/WebKit.h
|
| ===================================================================
|
| --- webkit/api/public/WebKit.h (revision 16303)
|
| +++ webkit/api/public/WebKit.h (working copy)
|
| @@ -1,10 +1,10 @@
|
| /*
|
| * Copyright (C) 2009 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
|
| @@ -14,7 +14,7 @@
|
| * * Neither the name of Google Inc. nor the names of its
|
| * contributors may be used to endorse or promote products derived from
|
| * this software without specific prior written permission.
|
| - *
|
| + *
|
| * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
| * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
| * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
| @@ -80,6 +80,9 @@
|
| // Enables HTML5 worker support.
|
| WEBKIT_API void enableWebWorkers();
|
|
|
| + // Enables HTML5 media support.
|
| + WEBKIT_API void enableMediaPlayer();
|
| +
|
| // Purge the plugin list cache.
|
| WEBKIT_API void resetPluginCache();
|
|
|
|
|