[PHP-WEBMASTER] [web-php] preview: Make /var optional (later build).

[email protected] (Mark Randall via Derick Rethans) Thu, 18 Jun 2026 15:05:31 +0000

Newsgroups	php.webmaster
Message-ID	<[email protected]>

Author: Mark Randall
Committer: Derick Rethans (derickr)
Date: 2026-06-18T16:05:07+01:00

Commit: https://github.com/php/web-php/commit/f66fb0ab07a23f19820ac643510fe8e7b3494668
Raw diff: https://github.com/php/web-php/commit/f66fb0ab07a23f19820ac643510fe8e7b3494668.diff

Make /var optional (later build).

Changed paths:
  M  phpstan.neon.dist


Diff:

diff --git a/phpstan.neon.dist b/phpstan.neon.dist
index 3c80709dc6..918d5bb833 100644
--- a/phpstan.neon.dist
+++ b/phpstan.neon.dist
@@ -14,7 +14,7 @@ parameters:
 		analyse:
 			- vendor/
 			- include/download-instructions/
-			- var/
+			- var/ (?)
 			- public/manual/en
 			- include/releases.inc
 			- include/pregen-news.inc