Go to the documentation of this file.00001 <dl style='border: 1px dotted; padding: 5px;'>
00002 <dt>Current script</dt><dd><?php print basename($_SERVER['SCRIPT_NAME']); ?></dd>
00003 <dt>session_name():</dt><dd> <?php print session_name(); ?></dd>
00004 <dt>session_id():</dt><dd> <?php print session_id(); ?></dd>
00005 </dl>