web_timer

A js_ffi library for browser timer functionality.