]> granicus.if.org Git - php/commitdiff
Merge branch 'master' of git.php.net:/php-src
authorJoe Watkins <krakjoe@php.net>
Mon, 2 Jan 2017 09:42:03 +0000 (09:42 +0000)
committerJoe Watkins <krakjoe@php.net>
Mon, 2 Jan 2017 09:42:03 +0000 (09:42 +0000)
* 'master' of git.php.net:/php-src:
  Switch reflection to use smart_str
  Add smart_str_append_printf
  Make printf_to_smart_str(ing) the primitive printf operation
  Export zend_s(tr)pprintf
  Sync smart_string implementation with smart_str
  Move smart_string to Zend
  Fixed bug #73154
  Flush stderr on win32 in cli_log_message
  Fixed bug #73154


Trivial merge