Highlight search pattern on typing
Indentation plugin has been added to provide better support using HTML in PHP
Make splits behaviour more sane