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