com web/php: Add missing directory separator: releases/8.0/de.php releases/8.0/en.php releases/8.0/pt_BR.php releases /8.0/ru.php
| From: | Sara Golemon | Date: | Wed, 25 Nov 2020 21:36:47 +0000 |
| Subject: | com web/php: Add missing directory separator: releases/8.0/de.php releases/8.0/en.php releases/8.0/pt_BR.php releases /8.0/ru.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-28900@lists.php.net to get a copy of this message | ||
Commit: ad13414402c472916a25d60c239e059f07fb4548
Author: Sara Golemon <pollita@php.net> Wed, 25 Nov 2020 21:36:47 +0000
Parents: ac83fe2e4e3f1cca6d54ac35d7452c565a0ad031
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=ad13414402c472916a25d60c239e059f07fb4548
Log:
Add missing directory separator
Changed paths:
M releases/8.0/de.php
M releases/8.0/en.php
M releases/8.0/pt_BR.php
M releases/8.0/ru.php
Diff:
diff --git a/releases/8.0/de.php b/releases/8.0/de.php
index 488299c8d..448fc3fc7 100644
--- a/releases/8.0/de.php
+++ b/releases/8.0/de.php
@@ -6,7 +6,7 @@ if ($LANG === 'en') {
mirror_redirect('/releases/8.0/en.php?lang=en');
}
-if (($LANG !== 'de') && file_exists(__DIR__ .. basename($LANG) .
'.php')) {
+if (($LANG !== 'de') && file_exists(__DIR__ . '/' . basename($LANG) .
'.php')) {
mirror_redirect('/releases/8.0/' . urlencode($LANG) . '.php?lang=' .
urlencode($LANG));
}
diff --git a/releases/8.0/en.php b/releases/8.0/en.php
index eb92fb7c2...dfe3a631a 100644
--- a/releases/8.0/en.php
+++ b/releases/8.0/en.php
@@ -2,7 +2,7 @@
$_SERVER['BASE_PAGE'] = 'releases/8.0/en.php';
include_once __DIR__ . '/../../include/prepend.inc';
-if (($LANG !== 'en') && file_exists(__DIR__ . basename($LANG) .
'.php')) {
+if (($LANG !== 'en') && file_exists(__DIR__ . '/' . basename($LANG) .
'.php')) {
mirror_redirect('/releases/8.0/' . urlencode($LANG) . '.php?lang=' .
urlencode($LANG));
}
diff --git a/releases/8.0/pt_BR.php b/releases/8.0/pt_BR.php
index 9150da282..9b1d7b8c2 100644
--- a/releases/8.0/pt_BR.php
+++ b/releases/8.0/pt_BR.php
@@ -6,7 +6,7 @@ if ($LANG === 'en') {
mirror_redirect('/releases/8.0/en.php?lang=en');
}
-if (($LANG !== 'pt_BR') && file_exists(__DIR__ . basename($LANG) .
'.php')) {
+if (($LANG !== 'pt_BR') && file_exists(__DIR__ . '/' . basename($LANG)
. '.php')) {
mirror_redirect('/releases/8.0/' . urlencode($LANG) . '.php?lang=' .
urlencode($LANG));
}
diff --git a/releases/8.0/ru.php b/releases/8.0/ru.php
index 5d5a9a52c..8ee6949ad 100644
--- a/releases/8.0/ru.php
+++ b/releases/8.0/ru.php
@@ -6,7 +6,7 @@ if ($LANG === 'en') {
mirror_redirect('/releases/8.0/en.php?lang=en');
}
-if (($LANG !== 'ru') && file_exists(__DIR__ . basename($LANG) .
'.php')) {
+if (($LANG !== 'ru') && file_exists(__DIR__ . '/' . basename($LANG) .
'.php')) {
mirror_redirect('/releases/8.0/' . urlencode($LANG) . '.php?lang=' .
urlencode($LANG));
}