Update fixpermissions.php to support public directory

Author: mickhawkins

fixpermissions.php

@@ -84,15 +84,30 @@
 
 // find out full names of the executables
 foreach ($executables as $relname) {
-    $realpath = realpath("$sourcedir/$relname");
-    if ($realpath !== false) {
-        $executables[$realpath] = $relname;
-    } else {
-        echo "Can not find real path for $relname in git repository\n";
-        exit(1);
+    // Possible paths for the executable.
+    $paths = [
+        "$sourcedir/$relname",
+        "$sourcedir/public/$relname",
+    ];
+    $patherrors = '';
+
+    foreach ($paths as $path) {
+        $realpath = realpath($path);
+
+        if ($realpath === false) {
+            $patherrors = "Can not find real path for $relname in git repository\n";
+        } else if (!file_exists($realpath)) {
+            $patherrors = "Can not find executable file $realpath in git repository\n";
+        } else {
+            // Set the executable pathname if it exists, we don't need to check any other paths.
+            $executables[$realpath] = $relname;
+            break;
+        }
     }
-    if (!file_exists($realpath)) {
-        echo "Can not find executable file $realpath in git repository\n";
+
+    // Output errors if path not found.
+    if (!isset($executables[$realpath])) {
+        echo $patherrors;
         exit(1);
     }
 }