diff options
author | Mario Vavti <mario@mariovavti.com> | 2019-09-23 09:11:05 +0000 |
---|---|---|
committer | Mario <mario@mariovavti.com> | 2019-09-23 12:20:28 +0200 |
commit | e37c43ea06deabe86bd0ec572a89e5159b4b6997 (patch) | |
tree | 730d849035b445042de07674aaae8745d2daa71f /vendor/ezyang/htmlpurifier/maintenance/flush.php | |
parent | 9b90114d035ce4c10ee11cd2fbffe1f5ab95af17 (diff) | |
download | volse-hubzilla-e37c43ea06deabe86bd0ec572a89e5159b4b6997.tar.gz volse-hubzilla-e37c43ea06deabe86bd0ec572a89e5159b4b6997.tar.bz2 volse-hubzilla-e37c43ea06deabe86bd0ec572a89e5159b4b6997.zip |
composer update ezyang/htmlpurifier
(cherry picked from commit a34ce790129bdd729a5019895ea6cd4c59f08ba4)
Diffstat (limited to 'vendor/ezyang/htmlpurifier/maintenance/flush.php')
-rw-r--r-- | vendor/ezyang/htmlpurifier/maintenance/flush.php | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/vendor/ezyang/htmlpurifier/maintenance/flush.php b/vendor/ezyang/htmlpurifier/maintenance/flush.php deleted file mode 100644 index c0853d230..000000000 --- a/vendor/ezyang/htmlpurifier/maintenance/flush.php +++ /dev/null @@ -1,30 +0,0 @@ -#!/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 |