Renamed stub files extensions to not pollute PhpStorm index

phpstan · Jan 10, 2020 · 2639499 · 2639499
1 parent 855374c
commit 2639499
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 3 deletions.
diff --git a/extension.neon b/extension.neon
@@ -5,9 +5,9 @@ parameters:
 			- markTestIncomplete
 			- markTestSkipped
 	stubFiles:
-		- stubs/MockBuilder.php
-		- stubs/MockObject.php
-		- stubs/TestCase.php
+		- stubs/MockBuilder.stub
+		- stubs/MockObject.stub
+		- stubs/TestCase.stub
 
 services:
 	-

diff --git a/stubs/MockBuilder.php → stubs/MockBuilder.stub b/stubs/MockBuilder.php → stubs/MockBuilder.stub
diff --git a/stubs/MockObject.php → stubs/MockObject.stub b/stubs/MockObject.php → stubs/MockObject.stub
diff --git a/stubs/TestCase.php → stubs/TestCase.stub b/stubs/TestCase.php → stubs/TestCase.stub