Author: nextgens
Date: 2007-05-10 19:47:15 +0000 (Thu, 10 May 2007)
New Revision: 13211
Modified:
trunk/website/pages/en/menu.php
Log:
website: improve it a bit
Modified: trunk/website/pages/en/menu.php
===================================================================
--- trunk/website/pages/en/menu.php 2007-05-10 19:42:37 UTC (rev 13210)
+++ trunk/website/pages/en/menu.php 2007-05-10 19:47:15 UTC (rev 13211)
@@ -72,11 +72,11 @@
}
else
{
- if(0 == strcmp($page, '/documentation')) {
+ if ("$page" == '/documentation') {
showMenu($menus["$title"]);
}
- if (0 == strcmp($page, '/developer')) {
+ if ("$page" == '/developer') {
showMenu($menus["$title"]);
}
}