Enable html5 mode in the console

Does this get auto-converted correctly depending on html5mode?