From aed804f7a5fdf4eec854625bd5796895784dacb6 Mon Sep 17 00:00:00 2001
From: Michael <14887731+vmcj@users.noreply.github.com>
Date: Sun, 26 Nov 2023 20:32:43 +0100
Subject: [PATCH] Use new PHP styleguide (PSR-12) over PSR-2

The original intent was to pick a styleguide, we already follow it but
this makes this explicit.
---
 CODINGSTYLE.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CODINGSTYLE.md b/CODINGSTYLE.md
index e6c33f8891..765f77dd31 100644
--- a/CODINGSTYLE.md
+++ b/CODINGSTYLE.md
@@ -1,4 +1,4 @@
 DOMjudge project coding style guideline
 =======================================
 
-We follow the [PSR-2 coding style](https://www.php-fig.org/psr/psr-2/).
+We follow the [PSR-12 coding style](https://www.php-fig.org/psr/psr-12/).