Kevin Waterson schrieb: > Addition of line numbering to phps > This is a rather simple addition and will be benificial to all who use phps > for debugging and/or displaying code. Its a simple diff to zend_highlight.c
Hello Kevin, I haven't tested this - but if phps output is numbered, it will be completely cluttered and you can't copy-paste anymore. Exactly when *displaying* code so that people can adapt it that's a quite bad idea then imho. Rather add another extension and leave .phps like it is. Greetings, Florian -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
