Author: Andreas Möller (localheinz)
Committer: GitHub (web-flow)
Pusher: cmb69
Date: 2022-07-02T11:53:37+02:00

Commit: 
https://github.com/php/web-php/commit/c3f96532260b12c46510bf27e2410e3d4e607b9d
Raw diff: 
https://github.com/php/web-php/commit/c3f96532260b12c46510bf27e2410e3d4e607b9d.diff

Remove useless function manual_header()

Closes GH-584.

Changed paths:
  M  include/shared-manual.inc
  M  manual/en/book.var.php
  M  manual/en/class.exception.php
  M  manual/en/context.http.php
  M  manual/en/funcref.php
  M  manual/en/function.strpos.php
  M  manual/en/index.php
  M  manual/en/language.exceptions.php
  M  manual/en/refs.basic.vartype.php


Diff:

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>

-- 
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to