examples/state/get-state.php

   1 <?php
   2 session_start();
   3 if(!isset($_SESSION['state'])){
   4     $_SESSION['state'] = array(
   5         'sessionId'=>session_id()
   6     );
   7 }
   8 echo 'Ext.appState = ';
   9 echo json_encode($_SESSION['state']);
  10 echo ';';