php/archived-web-php
1
0
Fork 0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix: Remove useless function (#855)

Browse Source
This commit is contained in:
Andreas Möller
2023-12-07 09:02:10 +01:00
committed by GitHub
parent c093fb5382
commit 9b12309e2b
4 changed files with 0 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
releases/8.2/common.php
View File

@@ -4,12 +4,6 @@ namespace releases\php82;
include_once __DIR__ . '/../../include/prepend.inc';
function language_redirect(string $currentLang): void {
// We don't use the general language selection of php.net,
// so soldier on with this one.
return;
}
function common_header(string $description): void {
global $MYSITE;

3
releases/8.2/release.inc
View File

@@ -2,7 +2,6 @@
use function releases\php82\common_header;
use function releases\php82\language_chooser;
use function releases\php82\language_redirect;
use function releases\php82\message;
if (!isset($lang)) {
@@ -13,8 +12,6 @@ $_SERVER['BASE_PAGE'] = 'releases/8.2/' . $lang . '.php';
include_once __DIR__ . '/common.php';
language_redirect($lang);
common_header(message('common_header', $lang));
?>

6
releases/8.3/common.php
View File

@@ -4,12 +4,6 @@ namespace releases\php83;
include_once __DIR__ . '/../../include/prepend.inc';
function language_redirect(string $currentLang): void {
// We don't use the general language selection of php.net,
// so soldier on with this one.
return;
}
function common_header(string $description): void {
global $MYSITE;

3
releases/8.3/release.inc
View File

@@ -2,7 +2,6 @@
use function releases\php83\common_header;
use function releases\php83\language_chooser;
use function releases\php83\language_redirect;
use function releases\php83\message;
if (!isset($lang)) {
@@ -13,8 +12,6 @@ $_SERVER['BASE_PAGE'] = 'releases/8.3/' . $lang . '.php';
include_once __DIR__ . '/common.php';
language_redirect($lang);
common_header(message('common_header', $lang));
?>