ebl Small fix about page name

diff --git a/docs/home-page/de/inc/header.php b/docs/home-page/de/inc/header.php
index 047bb845f9b44eb5053d8bef3e8eac585c1cb45b..7c65e113c9d5b7f09eac269375776a86731532c5 100644 (file)
--- 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 3c429d33dfbc05b07d32508ad853430c5fe6bdfc..35e54ac8d06859c4ffb09aba57aaeeafd54e8593 100644 (file)
--- 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 75990732cf6611140398e25b2f5b94ab7ba7340a..10506b6083086309b28ed3abb4d69965b5d9def5 100644 (file)
--- 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";