Update tools_php_info.lang.php