diff options
| author | valmat <ufabiz@gmail.com> | 2014-04-10 13:04:34 +0600 |
|---|---|---|
| committer | valmat <ufabiz@gmail.com> | 2014-04-10 13:04:34 +0600 |
| commit | 14b63ee87dde3688fea7e58fa25b73362117ae11 (patch) | |
| tree | 0611b2d6ccc4edfb27e350f4925cbe169c2520a7 /phpcpp.h | |
| parent | 1a6b709b8f732ea8a91b07a74f64928e0484b1f6 (diff) | |
Fixed problem with duplicate names ini entries.
Mentioned https://github.com/CopernicaMarketingSoftware/PHP-CPP/issues/64#issuecomment-39838004
Now in the case of duplication name of ini entriy the new value overrides the old one. Before was incorrect handling of this situation.
Diffstat (limited to 'phpcpp.h')
| -rw-r--r-- | phpcpp.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -21,6 +21,7 @@ #include <list> #include <exception> #include <map> +#include <set> /** * Include all headers files that are related to this library |