[web-php] master: Remove useless function manual_header()

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>