HTML5FrontEnd: Fix get_browser() + small improvements
HTML5FrontEnd: Compile fix for non-HTML5 targets