dev-lang/php: sync, rm old