|
@@ -31,7 +31,7 @@ function patchDir(string $base, string $dir): int
|
31
|
31
|
}
|
32
|
32
|
$patched = $original = file_get_contents($filename);
|
33
|
33
|
$patched = preg_replace('/\):\s*(\?[a-zA-Z]+|void)\s*\n/', ") /*:$1*/\n", $patched);
|
34
|
|
- $patched = preg_replace('/private const/', "/*private*/ const", $patched);
|
|
34
|
+ $patched = preg_replace('/(private|public|protected) const/', "/*$1*/ const", $patched);
|
35
|
35
|
if ($patched && $patched != $original) {
|
36
|
36
|
file_put_contents($filename, $patched);
|
37
|
37
|
$count++;
|