Update phpPgAdmin to patched PHP base

.gitea/workflows/publish.yml

@@ -64,6 +64,7 @@ jobs:
                 fwrite(STDERR, "PHP session upload progress must be disabled.\n");
                 exit(1);
             }
+            if (PHP_VERSION_ID < 80512) { fwrite(STDERR, "PHP 8.5.12 or newer is required for the php2shell fix.\n"); exit(1); }
             foreach (["pgsql", "pdo_pgsql", "mbstring", "Zend OPcache"] as $extension) {
                 if (!extension_loaded($extension)) { fwrite(STDERR, "Missing PHP extension: {$extension}\n"); exit(1); }
             }

Dockerfile

@@ -1,4 +1,4 @@
-ARG PHP_APACHE_TAG=2.4.69-8.5.11-2-ga3134bb
+ARG PHP_APACHE_TAG=2.4.69-8.5.12
 FROM registry.brunner.ninja/feedc0de/php-apache:${PHP_APACHE_TAG}
 
 ARG PHPPGADMIN_VERSION=7.14.7