replace all rmdir by a recursive variant

Signed-off-by: CaCO3 <[email protected]>

index.php

@@ -61,6 +61,24 @@ public function accept(): bool {
 }
 
 
+function rrmdir($src) {
+    $dir = opendir($src);
+    while(false !== ( $file = readdir($dir)) ) {
+        if (( $file != '.' ) && ( $file != '..' )) {
+            $full = $src . '/' . $file;
+            if ( is_dir($full) ) {
+                rrmdir($full);
+            }
+            else {
+                unlink($full);
+            }
+        }
+    }
+    closedir($dir);
+    rmdir($src);
+}
+
+
 class Updater {
 	private string $baseDir;
 	private array $configValues = [];