Hello, My main server have PHP version 5.6.30 and I have installed new version PHP 7.1.9 according to the instructions: Https://www.howtoforge.com/tutorial/how-to-install-php-7-on-debian/ And everthyng works (my secondary website have PHP version 7.1.9), but how to add new extensions, I need php7.1-cli for the PHP version 7.1.9. Yes, it is possible to install it as a regular package, but I will install it for a normal server, right? And I need this package only for PHP version 7.1.9. Thanks for answer.
