fix issue with PHP 7.1
ClosedPublic

Authored by pokorra on Sep 12 2017, 1:04 PM.