Automated build for v0.01

2019-03-22 10:17:29 -04:00
commit 791b998489
2771 changed files with 222096 additions and 0 deletions
--- a/utils/gitlab-ci/php-lint.sh
+++ b/utils/gitlab-ci/php-lint.sh
@ -0,0 +1,5 @@
+#!/bin/sh
+
+set -e
+
+exec find . -name "*.php" -not -path "*/lib/*" -print0 | xargs -0 -n1 php -l