update PHP indent size to 4 spaces

I tend to use this setting more often lately