MDL-78341 tool_httpsreplace: Make progress order deterministic

2023-06-13 22:06:28 +10:00
parent 73ed05ecf2
commit c653fe20bd
1 changed files with 1 additions and 1 deletions
@@ -148,7 +148,7 @@ class url_finder {
        }

        $urls = array();
-
+        sort($tables); // Make it easier to see progress because they are ordered.
        $numberoftables = count($tables);
        $tablenumber = 0;
        foreach ($tables as $table) {