diff options
author | 2016-05-10 11:40:46 -0700 | |
---|---|---|
committer | 2016-05-10 11:55:24 -0700 | |
commit | c5943093b517c8672299307ac826e166509d1a6f (patch) | |
tree | 13b01db38accd5b5c5114229f7c7fc47d6fb8f68 /src/php | |
parent | 430b4f98433b36b8d19a2482ec17aec473471129 (diff) |
Change argument type to avoid undefined behavior
Diffstat (limited to 'src/php')
0 files changed, 0 insertions, 0 deletions