On 3/7/19 2:53 PM, swdev via Dng wrote:
> Is there any way to install php 7.1.3? I can't see it in the repositories.

you need 3rd party repo for that. check this thread :
https://dev1galaxy.org/viewtopic.php?id=2698
and use at your own risk :)