Fix: there was a warning when url was undefined
authorEduardo <[email protected]>
Sat, 11 Nov 2023 12:33:17 +0000 (13:33 +0100)
committerEduardo <[email protected]>
Sat, 11 Nov 2023 12:33:17 +0000 (13:33 +0100)
page-generator/index.php

index 86830c696cf317ea9aa278cd57dad20eca250cfe..2b68714b68ff418a2d932a74bdb27daa05477f0c 100644 (file)
@@ -188,7 +188,7 @@ foreach ($page_list as $page) {
                 } elseif ($key == 0)
                     $generator->writeToFile($page_path, '<p>');
 
-                if ($line['url'] != null)
+                if (array_key_exists('url', $line) && $line['url'] != null)
                     $generator->writeToFile($page_path, $generator->a($line['url'], $line['text']));
                 else
                     $generator->writeToFile($page_path, $line['text']);