PHP 7.2 upgrade

2020-09-03 01:29:48 -04:00
parent fd19e7ba24
commit 1ca8f24087
35 changed files with 15576 additions and 352675 deletions
@@ -1,5 +1,5 @@
 #  +----------------------------------------------------------------------+
-#  | PHP Version 5                                                        |
+#  | PHP Version 7                                                        |
 #  +----------------------------------------------------------------------+
 #  | Copyright (c) 2000-2006 The PHP Group                                |
 #  +----------------------------------------------------------------------+
@@ -35,16 +35,16 @@
 	}

 	dif=i-1
-		
+
 	for (; i <= NF; i++)
 		filenames[i-dif]=$i
-	
+
 	no_files=NF-dif
-	
+
 	for(i = 1; i <= no_files; i++) {
 		if (system("test -r " filenames[i]) != 0)
 			continue
-		
+
 		target=filenames[i]
 		sub(srcdir "/", "", target)
 		target2=target
@@ -53,7 +53,7 @@

 		for (e in used)
 			delete used[e]
-		
+
 		cmdx=cmd " " filenames[i]
 		done=0
 		while ((cmdx | getline) > 0) {
@@ -66,10 +66,10 @@
 					done=1
 					printf(" \\\n\t" substr($3,2,length($3)-2))
 					used[$3] = 1;
-				}	
+				}
 			}
 		}
 		if (done == 1)
 			print "\n"
 	}
-} 
+}