//console.log("start"); var petBasket = []; var SHELL_USERNAME = '******'; var user = '******'user']) ? $_SESSION['user'] : ''; ?> '; if (user !== undefined && user !== '') { //throw "exit"; var basketJsonString = <?php echo isset($_SESSION['user']) ? PetBasketController::myPetBasket($_SESSION['user'], 'json') : '[]'; ?> ; petBasket = JSON.parse(basketJsonString); //throw "exit"; makePetBasketItems(petBasket); } else { console.log("no user logged in"); } // return to a particular tab/page after a full request var context = '<?php echo isset($get['context']) ? $get['context'] : null; ?> ';