diff --git a/bin/createNewsEntry b/bin/createNewsEntry index 2e0209e851..8f695494e8 100755 --- a/bin/createNewsEntry +++ b/bin/createNewsEntry @@ -161,20 +161,6 @@ function getContent(): string { return $news; } -function updateArchiveXML(string $id, string $archiveFile): void { - $arch = new DOMDocument("1.0", "utf-8"); - $arch->formatOutput = true; - $arch->preserveWhiteSpace = false; - $arch->load($archiveFile); - - $first = $arch->createElementNs("http://www.w3.org/2001/XInclude", "xi:include"); - $first->setAttribute("href", "entries/{$id}.xml"); - - $second = $arch->getElementsByTagNameNs("http://www.w3.org/2001/XInclude", "include")->item(0); - $arch->documentElement->insertBefore($first, $second); - $arch->save($archiveFile); -} - function parseOptions(): Entry { $opts = getopt('h', [ 'help', diff --git a/include/layout.inc b/include/layout.inc index 73f9e20ecf..eeedd43872 100644 --- a/include/layout.inc +++ b/include/layout.inc @@ -47,12 +47,6 @@ function highlight_php_trimmed($code, $return = false) return null; } -// Stats pages still need this -function commonHeader($title): void { site_header($title); } - -// Stats pages still need this -function commonFooter(): void { site_footer(); } - // Resize the image using the output of make_image() function resize_image($img, $width = 1, $height = 1) { @@ -160,13 +154,6 @@ function make_popup_link($url, $linktext = false, $target = false, $windowprops ); } -// print_popup_link() -// print a hyperlink to something, within the site, that pops up a new window -// -function print_popup_link($url, $linktext = false, $windowprops = "", $target = false, $extras = false): void { - echo make_popup_link($url, $linktext, $windowprops, $target, $extras); -} - // Print a link for a downloadable file (including filesize) function download_link($file, $title): void { @@ -204,20 +191,6 @@ function download_link($file, $title): void } } -function sect_to_file($string) { - $string = strtolower($string); - $string = str_replace([' ', '_'], '-', $string); - $func = "function.$string.php"; - $chap = "ref.$string.php"; - $feat = "features.$string.php"; - $struct = "control-structures.$string.php"; - if (@is_file($func)) return $func; - if (@is_file($chap)) return $chap; - if (@is_file($feat)) return $feat; - if (@is_file($struct)) return $struct; - else return "$string.php"; -} - function clean($var) { return htmlspecialchars($var, ENT_QUOTES); } @@ -511,39 +484,6 @@ function get_news_changes() return false; } -function news_toc($sections = null): void { - include __DIR__ . "/pregen-news.inc"; - $items = [ - "news" => [ - "title" => "News", - "link" => "/archive/", - "children" => print_news($NEWS_ENTRIES, "frontpage", 3, null, true), - ], - "conferences" => [ - "title" => "Conferences", - "link" => "/conferences/", - "children" => print_news($NEWS_ENTRIES, "conferences", 3, null, true), - ], - "papers" => [ - "title" => "Call for Papers", - "link" => "/conferences/", - "children" => print_news($NEWS_ENTRIES, "cfp", 3, null, true), - ], - ]; - - foreach ($items as $section => $menu) { - - // only print requested sections. - if (is_array($sections) && !in_array($section, $sections, true)) { - continue; - } - - echo "
{$menu["title"]}
\n"; - foreach ($menu["children"] as $child) { - echo "
{$child["title"]}
\n"; - } - } -} function doc_toc($lang): void { $file = __DIR__ . "/../manual/$lang/toc/index.inc"; if (!file_exists($file)) { diff --git a/include/results.inc b/include/results.inc deleted file mode 100644 index 0181a04ff6..0000000000 --- a/include/results.inc +++ /dev/null @@ -1,95 +0,0 @@ -Showing results $disp_start_result to $disp_end_result of $results_count\n"; - echo '\n"; - if($show_attrib): - echo <<results by -EOB; - endif; - if($show_foot): - echo <<

Results Page:

-'; - endif; -} diff --git a/include/site.inc b/include/site.inc index dd147e22f8..50877ecbfa 100644 --- a/include/site.inc +++ b/include/site.inc @@ -59,15 +59,6 @@ function default_language($site = false) return (isset($MIRRORS[$site]) ? $MIRRORS[$site][6] : false); } -// Returns true if the current (or specified) mirror -// site is registered to have local search support -function have_search($site = false) -{ - global $MIRRORS, $MYSITE; - if (!$site) { $site = $MYSITE; } - return (isset($MIRRORS[$site]) ? $MIRRORS[$site][5] : false); -} - // Returns the current (or specified) // mirror site's provider's name function mirror_provider($site = false) diff --git a/quickref.php b/quickref.php index 8fd1479bfa..569937b416 100644 --- a/quickref.php +++ b/quickref.php @@ -16,7 +16,6 @@ $_SERVER['BASE_PAGE'] = 'quickref.php'; include_once __DIR__ . '/include/prepend.inc'; include_once __DIR__ . '/include/errors.inc'; -include __DIR__ . '/include/results.inc'; if (empty($notfound)) { mirror_redirect("/search.php"); diff --git a/results.php b/results.php index 7b4893279e..a13f1d28b6 100644 --- a/results.php +++ b/results.php @@ -2,7 +2,6 @@ $_SERVER['BASE_PAGE'] = 'results.php'; include __DIR__ . '/include/prepend.inc'; -include __DIR__ . '/include/results.inc'; // HTTP status line is passed on, signifies an error site_header(