[aur-requests] [PRQ#13802] Orphan Request for php71 Accepted

Request #13802 has been accepted automatically by the Arch User Repository package request system: The package base has been flagged out-of-date since 2018-05-21.