update.sh: Remove unused paths (#1723)
As php 7.x is not used anymore, these can be removed. Signed-off-by: Manuel Rüger <manuel@rueg.eu>pull/1730/head
parent
97f99dbfdb
commit
71f4a94464
Loading…
Reference in new issue