Update Html.php

Does anyone find this useful? I use these two methods quite often.