|
12345678910111213141516171819202122 |
- <?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
|