PHP: diffing