php indentation and js2 indentation