Try to fix php on PHP5.3