Как средствами PHP узнать установленную версию PHP?

string phpversion ([ string $extension ] )

extension
    Необязательное имя расширения.

<?php
// Выводит строку типа 'Текущая версия PHP: 5.3
echo 'Текущая версия PHP: ' . phpversion();

// Выводит строку типа '2.0' или ничего, если расширение не подключено
echo phpversion('tidy');
?>