php: cleanup old obsoletes