Update WebKitSystemInterface.
[WebKit-https.git] / WebKitLibraries / WebKitSystemInterface.h
index a97e6353cda32d1e705b3a3a1fcf8cab336c5de0..50b439ecae261398b07d2b4e32f9c2d12d657605 100644 (file)
@@ -225,6 +225,7 @@ typedef enum {
     WKMediaControllerFlagDrawEndCaps = 1 << 3,
 } WKMediaControllerThemeState;
 
+BOOL WKMediaControllerThemeAvailable(int themeStyle);
 BOOL WKHitTestMediaUIPart(int part, int themeStyle, CGRect bounds, CGPoint point);
 void WKMeasureMediaUIPart(int part, int themeStyle, CGRect *bounds, CGSize *naturalSize);
 void WKDrawMediaUIPart(int part, int themeStyle, CGContextRef context, CGRect rect, unsigned state);