website PHP version select should also apply for CLI

Summary

choosen PHP version is correcly applied for website, but not for CLI things (cron, SSH)

Steps to reproduce

  1. create a website
  2. select a PHP version different from system default
  3. login via SSH
  4. php --version

Correct behaviour

should use same PHP version as the website we are using

Environment

Server OS + version: 18.04 ISPConfig version: 3.2.7p1

Proposed fix

set an alias, or a symlink for the shell users related to the website ?