fixing php-related issue