fix PHP warning in Theme Designer