Remove old php tools

This commit is contained in:
Dennis Eichhorn 2017-11-05 14:32:06 +01:00
parent 6289f3cbf9
commit 59408e6830

View File

@ -17,9 +17,6 @@ mysql -e 'create database oms;' -u ${DB_USER} -p${DB_PASSWORD}
# Stats & metrics
. Inspection/Php/stats.sh
# Local inspection
. Inspection/Php/tools.sh
# Linting
. Inspection/Php/linting.sh
. Inspection/Json/linting.sh