php: Cleanup example