[imp] [33214] JsonSerializable is missing in PHP5.5 on Debian Linux servers, Fixes #3018