diff options
author | jrfnl <jrfnl@users.noreply.github.com> | 2020-11-20 02:20:03 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-11-20 16:48:32 +0100 |
commit | 860f46e2f538a89c4f703e2237b7c26e3b7647c8 (patch) | |
tree | cfac9a384252db09d6c5d5d837b317bdf83df33d /php.ini-development | |
parent | fa67864c13d0910c92ef51f76fce5891f9b07d33 (diff) | |
download | php-git-860f46e2f538a89c4f703e2237b7c26e3b7647c8.tar.gz |
UPGRADING: (real) cast has been removed
.. but the removal wasn't mentioned in the `UPGRADING` docs yet.
Ref:
* https://github.com/php/php-src/pull/5220
* https://github.com/php/php-src/commit/c9db32271a8083721582c5ec1dd09c4d4f562c74
Closes GH-6440.
[ci-skip]
Diffstat (limited to 'php.ini-development')
0 files changed, 0 insertions, 0 deletions