Replace html5-codecs with correct extension

Authored by jgrulich on Sep 18 2019, 11:47 AM.

Description

Replace html5-codecs with correct extension

Details

Committed
jgrulichSep 18 2019, 11:47 AM
Parents
R257:e776094bd85b: html5-codecs extension no longer exists
Branches
Unknown
Tags
Unknown