1 files changed, 0 insertions, 14 deletions
diff --git a/srcs/phpmyadmin/vendor/williamdes/mariadb-mysql-kbs/scripts/ci/ci-lint.sh b/srcs/phpmyadmin/vendor/williamdes/mariadb-mysql-kbs/scripts/ci/ci-lint.sh
deleted file mode 100755
index e9ac666..0000000
--- a/srcs/phpmyadmin/vendor/williamdes/mariadb-mysql-kbs/scripts/ci/ci-lint.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/bash
-cd $(dirname $0)/../../
-echo "Running in : $(pwd)"
-echo "Running jshint"
-npm run jshint -- --verbose
-JSHINT=$?
-echo "Running prettier"
-npm run prettier -- --list-different
-PRETTIER=$?
-
-if [[ $JSHINT != 0 ]] || [[ $PRETTIER != 0 ]]; then
-    echo "You have some errors to fix !";
-    exit 1;
-fi