A PHP library for calculating difference between two texts based on Chris Boulton's port of difflib.py