Fix PHP indent mode