use 4-spaces as tabwidth in php