Change html5 version

Hi

I have upgraded the html5lib and want to use the newest version in my players.

I changed the line html5_version = v2.25 to
html5_version = v2.37.3 in local.ini

I still see no change.
v2.25 is still being used.