Revision ecf45e6d0e08dcdd00132848991a5c05974b0a4b

Committed on 29/09/2019 11:16 am by MacFJA <macfja@gmail.com> [GitHub Diff]

Fix PHP7.2 object typehint (#354)