michael@0: michael@0: michael@0: michael@0: michael@0: michael@0: Test for bug 783499 - use the debugger API in the web console michael@0: michael@0: michael@0: michael@0:

Hello world!

michael@0: michael@0: