+ // This is a hack to allow Mobile Safari to always release the locks since
+ // hey depend on the behavior that DropAllLocks does indeed always drop all
+ // locks, which isn't always the case with the default behavior.
+ enum AlwaysDropLocksTag { DontAlwaysDropLocks = 0, AlwaysDropLocks };
+ JS_EXPORT_PRIVATE DropAllLocks(ExecState* exec, AlwaysDropLocksTag alwaysDropLocks = DontAlwaysDropLocks);
+ JS_EXPORT_PRIVATE DropAllLocks(JSGlobalData*, AlwaysDropLocksTag alwaysDropLocks = DontAlwaysDropLocks);
+ JS_EXPORT_PRIVATE ~DropAllLocks();