diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-01-29 10:46:21 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-01-29 11:10:47 +0100 |
commit | d74d3922ce6f9ea07c1226b0cb2a94fc333f7a02 (patch) | |
tree | 6f0343aca1aaa808a912ec65442bf8818d755fb0 /sapi/phpdbg/phpdbg_print.h | |
parent | c97b9aa2266736beb1ddb6fec0ec2d2af94e3a6c (diff) | |
download | php-git-d74d3922ce6f9ea07c1226b0cb2a94fc333f7a02.tar.gz |
Remove (unset) cast
Deprecated in PHP 7.2 as part of
https://wiki.php.net/rfc/deprecations_php_7_2.
Diffstat (limited to 'sapi/phpdbg/phpdbg_print.h')
0 files changed, 0 insertions, 0 deletions