Req #40077 [Fbk->NoF]: Make lint check multiple files
| From: | php-bugs at lists dot php dot net | Date: | Sun, 18 Jul 2021 04:22:08 +0000 |
| Subject: | Req #40077 [Fbk->NoF]: Make lint check multiple files | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-235110@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=40077&edit=1
ID: 40077
Updated by: php-bugs@lists.php.net
Reported by: david at acz dot org
Summary: Make lint check multiple files
-Status: Feedback
+Status: No Feedback
Type: Feature/Change Request
Package: *General Issues
Operating System: Any
PHP Version: 5.2.0
Assigned To: cmb
Private report: N
New Comment:
No feedback was provided. The bug is being suspended because
we assume that you are no longer experiencing the problem.
If this is not the case and you are able to provide the
information that was requested earlier, please do so and
change the status of the bug back to "Re-Opened". Thank you.
Previous Comments:
------------------------------------------------------------------------
[2021-07-07 13:21:33] cmb@php.net
Ah, right, but are we willing to add complexity for this
perfomance gain?
------------------------------------------------------------------------
[2021-07-07 13:07:09] nikic@php.net
I think this could work fine as long as we start a new request for each lint.
------------------------------------------------------------------------
[2021-07-07 13:03:57] cmb@php.net
This is unlikely to happen, for similar reasons why
php_check_syntax() has been removed not long after it had been
introduced (see bug #27406).
------------------------------------------------------------------------
[2007-01-09 15:48:40] david at acz dot org
Description:
------------
It would be nice if lint mode checked multiple files:
php -l foo.php bar.php
No syntax errors detected in foo.php
No syntax errors detected in bar.php
If not possible, it should give a warning when multiple files are specified.
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=40077&edit=1