Description:
------------
im letzten beitrag ist nicht $page aufgef?hrt, owbwohl es f?r $filename nat?rlich ben?tigt wird, da diese ja folgenderweise definiert ist ...:   $filename = $path.$page.$extension;

Reproduce code:
---------------
<?php
  $path = 'http://tunichtgut.s01.user-portal.com/';
  $extension = '.php';
 
  if ( preg_match("#^[a-z0-9_]+$#i",$page) ){
   $filename = $path.$page.$extension;
   include($navi);
  }
?>

Expected result:
----------------
include file wird nicht angezeigt

Actual result:
--------------
include file wird nicht angezeigt