Fix namespace

VincentLanglet · VincentLanglet · commit 5bc26b4508e6 · 2025-10-25T17:40:39.000+02:00
diff --git a/tests/PHPStan/Rules/Functions/data/bug-13719.php b/tests/PHPStan/Rules/Functions/data/bug-13719.php
@@ -1,5 +1,7 @@
 <?php declare(strict_types = 1);
 
+namespace Bug13719;
+
 function non_variadic(string $name, ?string $greeting = null): void {
 	var_dump($name);
 }

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,7 @@`
`1`	`1`	`<?php declare(strict_types = 1);`
`2`	`2`
	`3`	`+namespace Bug13719;`
	`4`	`+`
`3`	`5`	`function non_variadic(string $name, ?string $greeting = null): void {`
`4`	`6`	`var_dump($name);`
`5`	`7`	`}`