From 170698690bb0377f6179e29a1d4719d9d58fb77b Mon Sep 17 00:00:00 2001
From: zYne <zYne@625475ce-881a-0410-a577-b389adb331d8>
Date: Fri, 20 Oct 2006 19:34:07 +0000
Subject: [PATCH] Docs menu updated

---
 manual/documentation.php | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/manual/documentation.php b/manual/documentation.php
index e7164f9e8..131b76c10 100644
--- a/manual/documentation.php
+++ b/manual/documentation.php
@@ -316,10 +316,8 @@ $menu = array("Getting started" =>
                                   'WHERE clause',
                                   'Conditional expressions' =>
                                         array('Literals',
-                                              'Identification variables',
-                                              'Path expressions',
                                               'Input parameters',
-                                              'Contidional expression composition',
+
                                               'Operators and operator precedence',
                                               'Between expressions',
                                               'In expressions',
@@ -507,24 +505,29 @@ $menu = array("Getting started" =>
 
                     $break = false;
                     $tmp   = $paths;
+
                     foreach($tmp as $path => $title) {
                         $e = explode(".", $path);
                         if(count($e) > 2) {
                             unset($tmp[$path]);
                         }
                     }
+
                     $prev = 1;
+                    
                     foreach($tmp as $path => $title) {
                         if($break)
                             break;
 
-                        if($path == $_REQUEST["index"]) {
+                        if($path === $_REQUEST["index"]) {
                             $break = true;
                         } else {
                             $prev = $path;
                         }
                     }
+
                     $index = $_REQUEST['index'];
+
                     print "<table width='100%'>";
                     print "<tr><td colspan=3 align='center'><b></td></tr>";
                     print "<tr><td colspan=3 align='center'><b class='title'>".$paths[$ex[0]]."</b></td></tr>";
@@ -576,8 +579,7 @@ $menu = array("Getting started" =>
                             }
                         }
                     } else {
-                        //if( ! isset($menu[$ex[0]]))
-                        //    exit;
+
                         $tmp = $paths[$ex[0]];
                         $i = 1;
                         foreach($menu[$tmp] as $title => $value) {