Update HTML.php

To support less files