Как подключиться к серверу SSH через php

Я новичок в php и в настоящее время работаю над веб-сайтом для своего университета. То, что я пытаюсь сделать, это создать страницу входа в систему, которая позволяет пользователю установить соединение с удаленным сервером SSH, а затем запускать сценарии Linux из wihtin php. До сих пор я нашел этот код, который, я думаю, должен позволить пользователю войти в систему. Я пытался запустить код, но он не работает.

Изменить: когда я запускаю код, на странице просто говорится: «функция ssh2_connect не существует».

<?php

if (!function_exists("ssh2_connect")) die("function ssh2_connect doesn't exist");

// log in at server1.example.com on port 22

if(!($con = ssh2_connect("server1.example.com", 22))) {
echo "fail: unable to establish connection\n"; }

else {
// try to authenticate with username and password
if(!ssh2_auth_password($con, "username", "password")) {
    echo "fail: unable to authenticate\n";
}

else {
    // allright, we're in!
    echo "okay: logged in...\n";

    // execute a command
    if (!($stream = ssh2_exec($con, "ls -al" ))) {
        echo "fail: unable to execute command\n";
    }

else {
        // collect returning data from command
        stream_set_blocking($stream, true);
        $data = "";
        while ($buf = fread($stream,4096)) {
            $data .= $buf;
        }
        fclose($stream);
    }
  }
 }
?>