mirror of
https://github.com/ezyang/htmlpurifier.git
synced 2024-12-23 17:01:51 +00:00
14 lines
504 B
PHP
14 lines
504 B
PHP
|
<?php
|
||
|
|
||
|
$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);
|