Add github actions, add psalm

.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';