コード例 #1
0
</head>

<body>

    <!-- Page Content -->
    <div class="container">
		<div class="row">
		
			<!-- Navigation -->
			<nav class="navbar_top">
				<div class="nav_wrapper">
					
					<div id="cssmenu">
						<?php 
menu_location('topmenu');
?>
					</div>
					
				</div>
				<!-- /.container -->
			</nav>
			
			<div class="banner">
			
				<?php 
$banner = get_option(array('section' => 'theme_dong', 'key' => 'theme_dong_banner'));
if (is_numeric($banner)) {
    echo img($banner);
} else {
    echo img("asset/images/banner.jpg");
コード例 #2
0
<?php

// location.php
// menu which allows the user to change its standard location
global $inIndex, $loggedUser, $objUtil;
if (!isset($inIndex) || !$inIndex) {
    include "../../redirect.php";
} elseif (!$loggedUser) {
    throw new Exception(LangException001);
} elseif (!$objUtil->checkAdminOrUserID($loggedUser)) {
    throw new Exception(LangException012);
} else {
    menu_location();
}
function menu_location()
{
    global $baseURL, $loggedUser, $objLocation, $objObject, $objObserver;
    if ($loggedUser) {
        if (array_key_exists('activeLocationId', $_GET) && $_GET['activeLocationId']) {
            $objObserver->setObserverProperty($loggedUser, 'stdlocation', $_GET['activeLocationId']);
            if (array_key_exists('Qobj', $_SESSION)) {
                $_SESSION['Qobj'] = $objObject->getObjectVisibilities($_SESSION['Qobj']);
            }
        }
        $result = $objLocation->getSortedLocations('name', $loggedUser, 1);
        $loc = $objObserver->getObserverProperty($loggedUser, 'stdlocation');
        if ($result) {
            echo "<ul class=\"nav navbar-nav\">\r\n\t\t\t      <li class=\"dropdown\">\n\t\t\t\t\t<a href=\"http://" . $_SERVER['SERVER_NAME'] . $_SERVER["REQUEST_URI"] . "#\" class=\"dropdown-toggle navbar-btn\" data-toggle=\"dropdown\">" . $objLocation->getLocationPropertyFromId($loc, 'name') . "<b class=\"caret\"></b></a>";
            echo " <ul class=\"dropdown-menu\">";
            $url = "http://" . $_SERVER['SERVER_NAME'] . $_SERVER["REQUEST_URI"];
            if ($url == $baseURL || $url == $baseURL . "#" || ($url = $baseURL . "index.php")) {