There is an error in documentation and will be corrected soon.
-server-update option will not work to modify or install another php version.
If you have already installed PHP you will have to remove it:
sudo stack -php -purge
Modify config file and then re-install php:
sudo stack -php
to take and load the new version.