[ticket/12775] Rename config_php to config_php_file

PHPBB3-12775