// this file is just a placeholder to have a clean webhint working directory