diff options
author | M. Dent <dentm42@gmail.com> | 2019-09-23 19:16:59 +0200 |
---|---|---|
committer | M. Dent <dentm42@gmail.com> | 2019-09-23 19:16:59 +0200 |
commit | 23995ccb07780c37b6867ad84ca8ce6ff6b943a2 (patch) | |
tree | b69d4310228721ea5c21d309409796d5e7623c9a /vendor/ezyang/htmlpurifier/maintenance | |
parent | a4f26034545911ff82d73d04517d5e68bf434924 (diff) | |
parent | aafecd9d1e2b5ff442f0a34eecf074db902086ae (diff) | |
download | volse-hubzilla-23995ccb07780c37b6867ad84ca8ce6ff6b943a2.tar.gz volse-hubzilla-23995ccb07780c37b6867ad84ca8ce6ff6b943a2.tar.bz2 volse-hubzilla-23995ccb07780c37b6867ad84ca8ce6ff6b943a2.zip |
Merge branch 'cherry-pick-38cb094e' into 'dev'
composer update ezyang/htmlpurifier
See merge request hubzilla/core!1733
Diffstat (limited to 'vendor/ezyang/htmlpurifier/maintenance')
-rw-r--r-- | vendor/ezyang/htmlpurifier/maintenance/flush.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/vendor/ezyang/htmlpurifier/maintenance/flush.sh b/vendor/ezyang/htmlpurifier/maintenance/flush.sh new file mode 100644 index 000000000..65ef6f8cc --- /dev/null +++ b/vendor/ezyang/htmlpurifier/maintenance/flush.sh @@ -0,0 +1,8 @@ +#!/bin/bash +set -ex +DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )" +php "$DIR/generate-includes.php" +php "$DIR/generate-schema-cache.php" +php "$DIR/flush-definition-cache.php" +php "$DIR/generate-standalone.php" +php "$DIR/config-scanner.php" |