updated php to current working copy