Fix file extension for issue6334 on firebug.html