Remove php-diff in favour of wDiff
result.js: Update CSS class names for the colour legend