Remove useless function manual_header()

localheinz · web-flow · commit c3f96532260b · 2022-07-02T11:53:37.000+02:00
Closes GH-584.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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>

Original file line number	Diff line number	Diff line change
`@@ -391,7 +391,6 @@ CHANGE_LANG;`
`391`	`391`	`return trim($r);`
`392`	`392`	`}`
`393`	`393`
`394`		`-function manual_header(){}`
`395`	`394`	`function manual_footer() {`
`396`	`395`	`global $USERNOTES, $__RELATED;`
`397`	`396`