/common/libraries/plugin/htmlpurifier/maintenance/flush.php
PHP | 31 lines | 18 code | 6 blank | 7 comment | 1 complexity | cc5f8bd00c214f23a143962735d5a268 MD5 | raw file
Possible License(s): GPL-2.0, BSD-3-Clause, LGPL-2.1, LGPL-3.0, GPL-3.0, MIT
- #!/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);
- }
-
- $php = empty($_SERVER['argv'][1]) ? 'php' : $_SERVER['argv'][1];
-
- e($php . ' generate-includes.php');
- e($php . ' generate-schema-cache.php');
- e($php . ' flush-definition-cache.php');
- e($php . ' generate-standalone.php');
- e($php . ' config-scanner.php');
-
- // vim: et sw=4 sts=4