Added php 5.3 back. It should probably be supported.