Installing mcrypt in php7.1 (Ubuntu)

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