Revision 6b095f5075d3fa6ebb713e5409121cbad86ecaa2

Committed on 02/12/2019 8:33 am by XWB <karelke@gmail.com> [GitHub Diff]

Add PHP 7.4, drop PHP 7.1