That other time, at band camp, Kevin Waterson wrote:
This one time, at band camp, Aizat Faiz <[EMAIL PROTECTED]> wrote:
How about including the patch, and having a php.ini option to
enable/disable the line numbering.
I dont think this is a good option, perhaps some other trigger
file.phps?numbers or something
But there'd better be an ini option to disable that, and an ini option
to control whether line numbering starts at zero or one, and an ini
option to disable the ini options. Everyone loves ini options :)
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
