mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-07 07:06:45 +02:00
Code Issues Releases Wiki Activity

Revert accidental revert

Browse Source
This commit is contained in:
Jakub Vrana
2025-03-11 07:05:16 +01:00
parent 526077535e
commit b017928256
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compile.php
View File

@@ -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] == ';') {