@tsteur opened this Pull Request on September 21st 2018 Member

fixes #13272

Haven't actually tested it but should fix the issue. If tests pass, the logic would be still the same. I don't have a PHP 7.2 running here otherwise at the moment.

Log in and password change worked fine for me.

This Pull Request was closed on December 6th 2018
Powered by GitHub Issue Mirror