<?php

/**
 * @file
 * This file compares our version of PH5P with Jero's original version, and
 * generates a patch of the differences. This script should be run whenever
 * library/HTMLPurifier/Lexer/PH5P.php is modified.
 */
$orig = realpath ( dirname ( __FILE__ ) . '/PH5P.php' );
$new = realpath ( dirname ( __FILE__ ) . '/../library/HTMLPurifier/Lexer/PH5P.php' );
$newt = dirname ( __FILE__ ) . '/PH5P.new.php'; // temporary file
                                             
// minor text-processing of new file to get into same format as original
$new_src = file_get_contents ( $new );
$new_src = '<?php' . PHP_EOL . substr ( $new_src, strpos ( $new_src, 'class HTML5 {' ) );

file_put_contents ( $newt, $new_src );
shell_exec ( "diff -u \"$orig\" \"$newt\" > PH5P.patch" );
unlink ( $newt );

// vim: et sw=4 sts=4