Correct switch/case indents with PHP, add dbext plugin