Merge pull request #6 from gregrgay/master
[atutor.git] / include / lib / html_resource_parser.inc.php