- fix & enhance option setting
authorMichael Wallner <mike@php.net>
Wed, 13 Apr 2005 15:14:07 +0000 (15:14 +0000)
committerMichael Wallner <mike@php.net>
Wed, 13 Apr 2005 15:14:07 +0000 (15:14 +0000)
 *walk through the options even if the options array is empty, so that some default options will be set
 *always convert options


No differences found