На Ubuntu 14.04.5 как я могу обновить PHP 7.1.1 до 7.1.3?

Я - разработчик PHP-Laravel и не очень разбираюсь в серверах Linux и Linux, так как использую WAMP на своей локальной машине для разработки.

Недавно я обновил Laravel своего проекта до версии 5.6, для которой требуется PHP 7.1.3 или выше. Чтобы развернуть мой код, сначала мне нужно установить PHP 7.1.3 или выше на мой сервер Linux.

Подробности ОС сервера:

Ubuntu 14.04.5 LTS (GNU/Linux 3.13.0-116-generic x86_64)

Установленная версия PHP:

PHP 7.1.11-1+ubuntu14.04.1+deb.sury.org+1 (cli) (built: Oct 27 2017 14:28:45) ( NTS )
Copyright (c) 1997-2017 The PHP Group
Zend Engine v3.1.0, Copyright (c) 1998-2017 Zend Technologies
    with Zend OPcache v7.1.11-1+ubuntu14.04.1+deb.sury.org+1, Copyright (c) 1999-2017, by Zend Technologies

Я хочу обновить PHP до 7.1.3, кто-нибудь может дать мне знать, какие именно шаги мне следует выполнить?

Я видел много предложений:

sudo add-apt-repository ppa:ondrej/php
sudo apt-get update && sudo apt-get install php7.1

Но я не уверен, следовать ли этому или нет.