Fix html error in web/index.html
Change color of Github ribbon in web/index.html
Move Github ribbon to the left to prevent collision with Tabzilla
Delays mousedown/mouseup after mousemove
Merge pull request #890 from yurydelendik/mousedown-touch

Delays mousedown/mouseup after mousemove
Fix updating of currentDisplayListItem.cmd.
Merge pull request #891 from tobeytailor/timeline

Fixes display list updates when looping
Fixes stage alignment
Merge pull request #892 from yurydelendik/stage-align-fix

Fixes stage alignment
Merge pull request #895 from tschneidereit/master

Adds context menu item "Open in Inspector" to the Firefox extension
Fixes regression from 299f5b2b770648d
Merge pull request #896 from yurydelendik/issue-870

Fixes regression from 299f5b2b770648d
Stubs display.text.engine.* classes
Fixes enumerate keys for Dictionary with weak keys
Fixes 49b495a6beef7 for Chrome
Misc XML fixes: avoids extra whitespaces and workaround for #850
Somewhat implements SharedObject.setDirty
Merge pull request #905 from yurydelendik/spilgames-3

Misc fixes for spilgames
Merge pull request #910 from tschneidereit/master

Fixes for #471
Removes terminate() from the inspector