WIP on document conversion

src/util/refresh.php

@@ -1,5 +1,7 @@
 <?php
-use JetBrains\PhpStorm\NoReturn;
+
+use FeedReaderCentral\Data;
+use FeedReaderCentral\Feed;
 
 require __DIR__ . '/../cli-start.php';
 
@@ -20,15 +22,16 @@ switch ($argv[1]) {
 /**
  * Display the options for this utility and exit
  */
-#[NoReturn]
-function display_help(): void {
+function display_help(): never
+{
     printfn('Options:');
     printfn(' - all');
     printfn('     Refreshes all feeds');
     exit(0);
 }
 
-function refresh_all(): void {
+function refresh_all(): void
+{
     $db = Data::getConnection();
 
     try {