hardcode the php version we need in the scripts

Description

hardcode the php version we need in the scripts

Details

Committed
aacidJun 13 2020, 4:02 PM
Parents
R883:1571564: Translation updates
Branches
Unknown
Tags
Unknown