ID: 15208 Updated by: [EMAIL PROTECTED] Reported By: [EMAIL PROTECTED] Status: Open Bug Type: Feature/Change Request -Operating System: Linux +Operating System: all -PHP Version: 4.1.1 +PHP Version: 5.0.0 -Assigned To: +Assigned To: zeev New Comment:
To add. That looong thread ends with this comment by Zeev as certain conditions with that patch cause a segfault: "I'll try to find some time to look at it. I need to re-familiarize myself with the output buffering code at some point anyway..." So, I suppose this should be assigned to Zeev. And it is, now. Previous Comments: ------------------------------------------------------------------------ [2003-02-07 11:59:42] [EMAIL PROTECTED] This was never implemented/committed. Here's a thread: http://marc.theaimsgroup.com/?l=php-dev&m=103239898231495 And here's a patch: http://www.dapond.net/code/zend_highlight.patch ------------------------------------------------------------------------ [2003-02-06 21:09:12] [EMAIL PROTECTED] This bug has been fixed in CVS. In case this was a PHP problem, snapshots of the sources are packaged every three hours; this change will be in the next snapshot. You can grab the snapshot at http://snaps.php.net/. In case this was a documentation problem, the fix will show up soon at http://www.php.net/manual/. In case this was a PHP.net website problem, the change will show up on the PHP.net site and on the mirror sites in short time. Thank you for the report, and for helping us make PHP better. There is no ini settings, however as of PHP 4.3.0 you can passd a string via GET that will enable the display of line numbers. ------------------------------------------------------------------------ [2002-01-24 12:32:54] [EMAIL PROTECTED] It would be very helpful if you had a php.ini directive like: php_source_view_linenum = 0/1 If it is set to '1', a .phps file would print the line number in front of the colorized syntax. It's not a huge feature, but would be very nice to help debug some code, or help others see the logic of code. ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=15208&edit=1
