Bumped PHP version to 5.4, which supports JsonSerializable