Editing: StringCodec.php