set versions2018-02-13T19:21:00+00:00Joekrakjoe@php.net2018-02-13T19:21:00+00:00876a7097e6b9bc03c88637408dd90a8e5da41a01
Fixed bug #68406 calling var_dump on a DateTimeZone object modifies it2018-02-12T08:17:21+00:00jhdxrjhdxr@php.net2017-09-21T18:15:22+00:00070211b3e3b2fc20247e761e3bf2a81b50b6e007
Fix #75857: Timezone gets truncated when formatted2018-02-11T02:14:41+00:00Gabriel Carusocarusogabriel34@gmail.com2018-02-08T12:05:00+00:00f7069371205469f62f61525490b9cbd20431b4c8
Use sizeof buffer instead of hard-coded lenghts
Enhancements and fixes for print_pi in gdbinit2018-02-10T18:18:39+00:00Mitch Hagstrandmhagstrand@gmail.com2018-02-09T17:30:45+00:0001f7998db0ddf620233dbfe35d3344758876d78d
1) Outputs the default value and the offset of a property
2) Fixed output of property flags
1) Outputs the default value and the offset of a property
2) Fixed output of property flags
Fixes bug #75871 Use pkg-config for libxml2 if available2018-02-08T09:50:22+00:00Pedro Magalhãesmail@pmmaga.net2018-02-06T19:16:22+00:005673c641dc30610e7e2fcca2e9b61761e4608ffc