Merge pull request #2436 from ajaxorg/fix-debugger-race

[Liskov] Fix debugger race condition

Merge pull request #2430 from ajaxorg/warn-about-self

[Liskov] Warn about "self"

Merge pull request #2342 from ajaxorg/better-css-support

[Liskov] Better CSS / PHP / HTML support

Merge pull request #2393 from ajaxorg/move_auth_ui

* move auth ui to infra

Merge pull request #2428 from ajaxorg/double_exclamation_are_better_t…

…han_one

Fix language analysis on alpha

Merge pull request #2403 from ajaxorg/refactor/jumptodef

[Liskov] Extract JavaScript jumptodef to a separate module

Merge pull request #2421 from ajaxorg/rename_failing

[Dijkstra] Only break rename when beforerename actually returns false

Merge pull request #2421 from ajaxorg/rename_failing

[Dijkstra] Only break rename when beforerename actually returns false

Merge pull request #2394 from ajaxorg/ceeditor-evil

[Dijkstra] ceEditor evil

Merge pull request #2394 from ajaxorg/ceeditor-evil

[Dijkstra] ceEditor evil