Add github actions, add psalm

Author: xPaw

.github/dependabot.yml

@@ -0,0 +1,9 @@
+version: 2
+updates:
+  - package-ecosystem: "github-actions"
+    directory: "/"
+    schedule:
+      interval: "weekly"
+    ignore:
+      - dependency-name: "*"
+        update-types: ["version-update:semver-minor", "version-update:semver-patch"]

.github/workflows/ci.yml

@@ -0,0 +1,28 @@
+name: CI
+
+permissions:
+  contents: read
+
+on: [push]
+
+jobs:
+  php:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        php: ['8.0', '8.1', '8.2', '8.3']
+    steps:
+    - name: Setup PHP
+      uses: shivammathur/setup-php@v2
+      with:
+        php-version: ${{ matrix.php }}
+    - uses: actions/checkout@v4
+
+    - name: Install dependencies
+      run: composer install --no-interaction --no-progress
+
+    - name: Run phpstan
+      run: php vendor/bin/phpstan
+
+    - name: Run psalm
+      run: php vendor/bin/psalm

composer.json

@@ -12,7 +12,8 @@
 	},
 	"require-dev":
 	{
-		"phpstan/phpstan": "^1.4"
+		"phpstan/phpstan": "^1.10",
+		"vimeo/psalm": "^5.16"
 	},
 	"autoload":
 	{

psalm.xml

@@ -0,0 +1,18 @@
+<?xml version="1.0"?>
+<psalm
+    errorLevel="2"
+    resolveFromConfigFile="true"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns="https://getpsalm.org/schema/config"
+    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
+    findUnusedBaselineEntry="true"
+    findUnusedCode="true"
+>
+    <projectFiles>
+        <directory name="src" />
+        <directory name="." />
+        <ignoreFiles>
+            <directory name="vendor" />
+        </ignoreFiles>
+    </projectFiles>
+</psalm>

view.php

@@ -10,7 +10,7 @@
 
 	// Display everything in browser, because some people can't look in logs for errors
 	error_reporting( E_ALL | E_STRICT );
-	ini_set( 'display_errors', true );
+	ini_set( 'display_errors', '1' );
 
 	require __DIR__ . '/src/MinecraftQuery.php';
 	require __DIR__ . '/src/MinecraftQueryException.php';

view_serverping.php

@@ -10,7 +10,7 @@
 
 	// Display everything in browser, because some people can't look in logs for errors
 	error_reporting( E_ALL | E_STRICT );
-	ini_set( 'display_errors', true );
+	ini_set( 'display_errors', '1' );
 
 	require __DIR__ . '/src/MinecraftPing.php';
 	require __DIR__ . '/src/MinecraftPingException.php';