<?php
/**
 * Print current MySQL version.
 */
echo mysql_get_server_info();
?>