<?php
/**
 * Print current PHP version.
 */
echo phpversion();
?>