diff --git a/.gitignore b/.gitignore index 9725342dc19..6ed95489e41 100644 --- a/.gitignore +++ b/.gitignore @@ -6,7 +6,6 @@ data/ *.pydevproject .project .metadata -bin/ tmp/ *.tmp *.bak diff --git a/bin/cache-clear b/bin/cache-clear new file mode 100755 index 00000000000..3563abadc1a --- /dev/null +++ b/bin/cache-clear @@ -0,0 +1,14 @@ +#!/usr/bin/env php +clear(); diff --git a/bin/cache-prune b/bin/cache-prune new file mode 100755 index 00000000000..7b7a603130d --- /dev/null +++ b/bin/cache-prune @@ -0,0 +1,14 @@ +#!/usr/bin/env php +prune();