Add patch for ps

shivammathur · shivammathur · commit 46188dfe1feb · 2024-05-21T19:22:14.000+05:30
diff --git a/extension/BuildPhpExtension/patches/ps.ps1 b/extension/BuildPhpExtension/patches/ps.ps1
@@ -0,0 +1 @@
+Invoke-Webrequest -Uri https://raw.githubusercontent.com/steinm/ps/97cf818c3ef715a28b755b9d5b3ee5a2686356e7/config.w32 -OutFile config.w32

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+Invoke-Webrequest -Uri https://raw.githubusercontent.com/steinm/ps/97cf818c3ef715a28b755b9d5b3ee5a2686356e7/config.w32 -OutFile config.w32`