From: Jakub Vrana <jakub@vrana.cz>
Date: Tue, 11 Mar 2025 06:05:16 +0000 (+0100)
Subject: Revert accidental revert
X-Git-Tag: v5.0.3~17
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=b0179282563f8ffaa3caa2954cea496cbb831619;p=adminer.git

Revert accidental revert
---

diff --git a/compile.php b/compile.php
index 082a5597..bb071f0c 100755
--- a/compile.php
+++ b/compile.php
@@ -297,7 +297,7 @@ function php_shrink($input) {
 				$doc_comment = true;
 				$token[1] = substr_replace($token[1], "* @version $VERSION\n", -2, 0);
 			}
-			if ($token[0] == T_VAR) {
+			if ($token[0] == T_VAR || $token[0] == T_PUBLIC || $token[0] == T_PROTECTED || $token[0] == T_PRIVATE) {
 				$shortening = false;
 			} elseif (!$shortening) {
 				if ($token[1] == ';') {