added HTML_Resources PHP library