From 126f0d23ed321e2a40cb689b78ca6022ac6d3276 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Fri, 29 Mar 2019 10:21:31 +0100
Subject: [PATCH] mirrors are being retired

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 3a34ec3..2ccac0f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,8 @@
 export
 
-PHP ?= 7.2
+PHP ?= 7.3
 JOBS ?= 2
-PHP_MIRROR ?= http://us2.php.net/distributions/
+PHP_MIRROR ?= http://php.net/distributions/
 TMPDIR ?= /tmp
 
 makdir := $(dir $(word $(words $(MAKEFILE_LIST)),$(MAKEFILE_LIST)))
-- 
2.30.2