| Index: webkit/api/public/WebKit.h
 | 
| ===================================================================
 | 
| --- webkit/api/public/WebKit.h	(revision 30559)
 | 
| +++ webkit/api/public/WebKit.h	(working copy)
 | 
| @@ -54,21 +54,10 @@
 | 
|      WEBKIT_API void setLayoutTestMode(bool);
 | 
|      WEBKIT_API bool layoutTestMode();
 | 
|  
 | 
| -    // Enables HTML5 media support.
 | 
| -    WEBKIT_API void enableMediaPlayer();
 | 
| -
 | 
|      // Purge the plugin list cache. If |reloadPages| is true, any pages
 | 
|      // containing plugins will be reloaded after refreshing the plugin list.
 | 
|      WEBKIT_API void resetPluginCache(bool reloadPages);
 | 
|  
 | 
| -    // Enables HTML5 database support.
 | 
| -    WEBKIT_API void enableDatabases();
 | 
| -    WEBKIT_API bool databasesEnabled();
 | 
| -
 | 
| -    // Enables HTML5 Web Sockets support.
 | 
| -    WEBKIT_API void enableWebSockets();
 | 
| -    WEBKIT_API bool webSocketsEnabled();
 | 
| -
 | 
|  } // namespace WebKit
 | 
|  
 | 
|  #endif
 | 
| 
 |