Updated tools.php to only show the theme market based on the SHOW_MARKET constent