diff options
Diffstat (limited to 'player/javascript/defaults.js')
-rw-r--r-- | player/javascript/defaults.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/player/javascript/defaults.js b/player/javascript/defaults.js index c4482c88ce..037f931d94 100644 --- a/player/javascript/defaults.js +++ b/player/javascript/defaults.js @@ -665,6 +665,8 @@ mp.get_time = function() { return mp.get_time_ms() / 1000 }; mp.utils.getcwd = function() { return mp.get_property("working-directory") }; mp.utils.getpid = function() { return mp.get_property_number("pid") } mp.get_mouse_pos = function() { return mp.get_property_native("mouse-pos") }; +mp.utils.write_file = mp.utils._write_file.bind(null, false); +mp.utils.append_file = mp.utils._write_file.bind(null, true); mp.dispatch_event = dispatch_event; mp.process_timers = process_timers; mp.notify_idle_observers = notify_idle_observers; |