Merge remote-tracking branch 'origin/master'

This commit is contained in:
Weblate 2015-02-16 14:05:17 +01:00
commit 7db8e01f63

View File

@ -341,6 +341,13 @@ if ($GLOBALS['cfg']['ShowServerInfo'] || $GLOBALS['cfg']['ShowPhpInfo']) {
$php_ext_string,
'li_used_php_extension'
);
$php_version_string = __('PHP version:') . ' ' . phpversion();
PMA_printListItem(
$php_version_string,
'li_used_php_version'
);
}
}