paplayer/DVDPlayerCodec: cosmetics - remove double-semicolons