From 24f51afbae90963237c2e51bb394c07f0562e4f6 Mon Sep 17 00:00:00 2001 From: Eric Bollengier Date: Fri, 3 Oct 2008 09:51:24 +0000 Subject: [PATCH] ebl Small fix about page name --- docs/home-page/de/inc/header.php | 4 ++++ docs/home-page/en/inc/header.php | 4 ++++ docs/home-page/fr/inc/header.php | 4 ++++ 3 files changed, 12 insertions(+) diff --git a/docs/home-page/de/inc/header.php b/docs/home-page/de/inc/header.php index 047bb845..7c65e113 100644 --- a/docs/home-page/de/inc/header.php +++ b/docs/home-page/de/inc/header.php @@ -10,6 +10,10 @@ * */ isset($page) || $page = "home"; // default page to show + if (!preg_match("/^[a-zA-Z0-9_\-]+$/", $page)) { + $page = "home"; + } + $page_directory = "pages"; // directory with pages $page_current = "$page_directory/$page.php"; diff --git a/docs/home-page/en/inc/header.php b/docs/home-page/en/inc/header.php index 3c429d33..35e54ac8 100644 --- a/docs/home-page/en/inc/header.php +++ b/docs/home-page/en/inc/header.php @@ -10,6 +10,10 @@ * */ isset($page) || $page = "home"; // default page to show + if (!preg_match("/^[a-zA-Z0-9_\-]+$/", $page)) { + $page = "home"; + } + $page_directory = "pages"; // directory with pages $page_current = "$page_directory/$page.php"; diff --git a/docs/home-page/fr/inc/header.php b/docs/home-page/fr/inc/header.php index 75990732..10506b60 100644 --- a/docs/home-page/fr/inc/header.php +++ b/docs/home-page/fr/inc/header.php @@ -10,6 +10,10 @@ * */ isset($page) || $page = "home"; // default page to show + if (!preg_match("/^[a-zA-Z0-9_\-]+$/", $page)) { + $page = "home"; + } + $page_directory = "pages"; // directory with pages $page_current = "$page_directory/$page.php"; -- 2.39.2