ID: 9387
Updated by: torben
Reported By: [EMAIL PROTECTED]
Old-Status: Open
Status: Bogus
Bug Type: Feature/Change Request
Assigned To:
Comments:
This is not a bug. Check the third sentence below, from the PHP Manual at
http://www.php.net/manual/en/language.types.string.php:
Another way to
ID: 9387
Updated by: torben
Reported By: [EMAIL PROTECTED]
Old-Status: Bogus
Status: Open
Bug Type: Feature/Change Request
Assigned To:
Comments:
The doc part is taken care of, I'm reopening in case someone wants to present
a really good solution. :)
Previous Comments:
ID: 9387
Updated by: andre
Reported By: [EMAIL PROTECTED]
Old-Status: Open
Status: Closed
Bug Type: Feature/Change Request
Assigned To:
Comments:
the indenting issue is already present as RFE in the db
Previous Comments:
--
