diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2016-11-30 02:56:47 +0100 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2016-11-30 02:56:47 +0100 |
| commit | b73a3afff333143b2908b280e6a4e26d61cb3138 (patch) | |
| tree | 517467b801d7e15711bc80aebb9dd4d4f72fccbf /NEWS | |
| parent | 9a9ad56af0f80c69d363e8cfabe412da798c497d (diff) | |
| download | php-git-b73a3afff333143b2908b280e6a4e26d61cb3138.tar.gz | |
Fixed bug #73615 (phpdbg without option never load .phpdbginit at startup)
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -13,6 +13,10 @@ PHP NEWS . Fixed bug #73586 (php_user_filter::$stream is not set to the stream the filter is working on). (Dmitry) +- Phpdbg: + . Fixed bug #73615 (phpdbg without option never load .phpdbginit at startup). + (Bob) + 08 Dec 2016 PHP 7.0.14 - Core: |