Update HTMLTags.php

Change version to show that this is an alternate to the original extension