Editing: DecoderInterface.php