From cf5bb5201dea9956612f82a37f888302515e844a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20M=C3=B6ller?= <am@localheinz.com>
Date: Sat, 2 Jul 2022 10:02:19 +0200
Subject: [PATCH] Fix: Remove useless function

---
 include/shared-manual.inc         | 1 -
 manual/en/book.var.php            | 1 -
 manual/en/class.exception.php     | 1 -
 manual/en/context.http.php        | 1 -
 manual/en/funcref.php             | 1 -
 manual/en/function.strpos.php     | 1 -
 manual/en/index.php               | 1 -
 manual/en/language.exceptions.php | 1 -
 manual/en/refs.basic.vartype.php  | 1 -
 9 files changed, 9 deletions(-)

diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index 2687f1038b..2472ada7da 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -391,7 +391,6 @@ CHANGE_LANG;
     return trim($r);
 }
 
-function manual_header(){}
 function manual_footer() {
     global $USERNOTES, $__RELATED;
 
diff --git a/manual/en/book.var.php b/manual/en/book.var.php
index b3405143a3..2374a91242 100644
--- a/manual/en/book.var.php
+++ b/manual/en/book.var.php
@@ -48,7 +48,6 @@
 $setup["parents"] = $PARENTS;
 manual_setup($setup);
 
-manual_header();
 ?>
 <div id="book.var" class="book">
 
diff --git a/manual/en/class.exception.php b/manual/en/class.exception.php
index 1d65b45aba..ef158b0960 100644
--- a/manual/en/class.exception.php
+++ b/manual/en/class.exception.php
@@ -48,7 +48,6 @@
 $setup["parents"] = $PARENTS;
 manual_setup($setup);
 
-manual_header();
 ?>
 <div id="class.exception" class="reference">
  <h1 class="title">Exception</h1>
diff --git a/manual/en/context.http.php b/manual/en/context.http.php
index e51ae98950..9b5ea29a3c 100644
--- a/manual/en/context.http.php
+++ b/manual/en/context.http.php
@@ -42,7 +42,6 @@
 $setup["parents"] = $PARENTS;
 manual_setup($setup);
 
-manual_header();
 ?>
 <div id="context.http" class="refentry">
  <div class="refnamediv">
diff --git a/manual/en/funcref.php b/manual/en/funcref.php
index 98f15002b8..4696ada96b 100644
--- a/manual/en/funcref.php
+++ b/manual/en/funcref.php
@@ -48,7 +48,6 @@
 $setup["parents"] = $PARENTS;
 manual_setup($setup);
 
-manual_header();
 ?>
 <div id="funcref" class="set">
   <h1 class="title">Function Reference</h1>
diff --git a/manual/en/function.strpos.php b/manual/en/function.strpos.php
index 97f5bb641c..5bf4f0cd70 100644
--- a/manual/en/function.strpos.php
+++ b/manual/en/function.strpos.php
@@ -42,7 +42,6 @@
 $setup["parents"] = $PARENTS;
 manual_setup($setup);
 
-manual_header();
 ?>
 <div id="function.strpos" class="refentry">
  <div class="refnamediv">
diff --git a/manual/en/index.php b/manual/en/index.php
index c8d167d26e..a750b9580d 100644
--- a/manual/en/index.php
+++ b/manual/en/index.php
@@ -48,7 +48,6 @@
 $setup["parents"] = $PARENTS;
 manual_setup($setup);
 
-manual_header();
 ?>
 <div id="index" class="set">
  <h1 class="title">PHP Manual</h1>
diff --git a/manual/en/language.exceptions.php b/manual/en/language.exceptions.php
index 261d9a6b4d..e98d8e30a5 100644
--- a/manual/en/language.exceptions.php
+++ b/manual/en/language.exceptions.php
@@ -48,7 +48,6 @@
 $setup["parents"] = $PARENTS;
 manual_setup($setup);
 
-manual_header();
 ?>
 <div id="language.exceptions" class="chapter">
   <h1>Exceptions</h1>
diff --git a/manual/en/refs.basic.vartype.php b/manual/en/refs.basic.vartype.php
index df3937a8b3..7c5dd22801 100644
--- a/manual/en/refs.basic.vartype.php
+++ b/manual/en/refs.basic.vartype.php
@@ -48,7 +48,6 @@
 $setup["parents"] = $PARENTS;
 manual_setup($setup);
 
-manual_header();
 ?>
 <div id="refs.basic.vartype" class="set">
    <h1 class="title">Variable and Type Related Extensions</h1>