json_encode() is more robust than serialize() for generating method identifiers