Unicode support in microtime() and gettimeofday().

diff --git a/ext/standard/microtime.c b/ext/standard/microtime.c
index c9d8b971eba7cb64edd0e6a211ded92f116008e1..449ecc133af3c2530735170034ce1b147ddba32f 100644 (file)
--- a/ext/standard/microtime.c
+++ b/ext/standard/microtime.c
@@ -85,11 +85,11 @@ static void _php_gettimeofday(INTERNAL_FUNCTION_PARAMETERS, int mode)
                char ret[100];
 
                snprintf(ret, 100, "%.8f %ld", tp.tv_usec / MICRO_IN_SEC, tp.tv_sec);
-               RETURN_STRING(ret, 1);
+               RETURN_ASCII_STRING(ret, ZSTR_DUPLICATE);
        }
 }
 
-/* {{{ proto mixed microtime([bool get_as_float])
+/* {{{ proto mixed microtime([bool get_as_float]) U
    Returns either a string or a float containing the current time in seconds and microseconds */
 PHP_FUNCTION(microtime)
 {
@@ -97,7 +97,7 @@ PHP_FUNCTION(microtime)
 }
 /* }}} */
 
-/* {{{ proto array gettimeofday([bool get_as_float])
+/* {{{ proto array gettimeofday([bool get_as_float]) U
    Returns the current time as array */
 PHP_FUNCTION(gettimeofday)
 {