0
0
mirror of https://github.com/ezyang/htmlpurifier.git synced 2024-11-08 23:08:42 +00:00
htmlpurifier/maintenance/flush.php
2008-04-03 20:52:08 +00:00

25 lines
477 B
PHP

#!/usr/bin/php
<?php
chdir(dirname(__FILE__));
require_once 'common.php';
assertCli();
/**
* @file
* Runs all generation/flush cache scripts to ensure that somewhat volatile
* generated files are up-to-date.
*/
function e($cmd) {
echo "\$ $cmd\n";
passthru($cmd, $status);
echo "\n";
if ($status) exit($status);
}
e('php generate-includes.php');
e('php generate-schema-cache.php');
e('php flush-definition-cache.php');
e('php generate-standalone.php');