From 8307009d2e204da1f7497611ea3f00deedada9ed Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20L=20F=20S=20Bacci?= Date: Tue, 10 Dec 2024 16:19:47 -0300 Subject: [PATCH] Windows ghosts only in Windows --- scripts/file-entities.php | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/file-entities.php b/scripts/file-entities.php index 161e574b2..35bc9aed1 100644 --- a/scripts/file-entities.php +++ b/scripts/file-entities.php @@ -150,6 +150,9 @@ function pushEntity( string $name , string $text = '' , string $path = '' ) exit(-1); } + if ( DIRECTORY_SEPARATOR == '/' ) + return; + // While https://github.com/php/doc-en/pull/4288 is not // replicated on on all languages, let's sleeping dogs lies