73aa34 add php71 deps.

Authored and Committed by Thomas Oulevey 4 years ago
    add php71 deps.