mirror of
https://github.com/ezyang/htmlpurifier.git
synced 2025-07-31 03:10:09 +02:00
Some maintenance script cleanup
- Create super-script flush.php - Rename old scripts with old- prefix. git-svn-id: http://htmlpurifier.org/svnroot/htmlpurifier/trunk@1574 48356398-32a2-884e-a903-53898d9a118a
This commit is contained in:
23
maintenance/flush.php
Normal file
23
maintenance/flush.php
Normal file
@@ -0,0 +1,23 @@
|
||||
#!/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);
|
||||
echo "\n";
|
||||
}
|
||||
|
||||
e('php flush-definition-cache.php');
|
||||
e('php generate-includes.php');
|
||||
e('php generate-schema-cache.php');
|
||||
e('php generate-standalone.php');
|
Reference in New Issue
Block a user