original_string: public static function formInput($append_session = 0)
      {
          return (($append_session == 1) || !isset($_COOKIE[session_name()]))
              ? '<input type="hidden" name="' . htmlspecialchars(session_name()) . '" value="' . htmlspecialchars(session_id()) . "\" />\n"
              : '';
      }
code: public static function formInput($append_session = 0)
      {
          return (($append_session == 1) || !isset($_COOKIE[session_name()]))
              ? '<input type="hidden" name="' . htmlspecialchars(session_name()) . '" value="' . htmlspecialchars(session_id()) . "\" />\n"
              : '';
      }
code_tokens: public static function formInput ( $ append_session = 0 ) { return ( ( $ append_session == 1 ) || ! isset ( $ _COOKIE [ session_name ( ) ] ) ) ? '<input type="hidden" name="' . htmlspecialchars ( session_name ( ) ) . '" value="' . htmlspecialchars ( session_id ( ) ) . "\" />\n" : '' ; }
docstring: Returns a hidden form input containing the session name and id.
  
  @param boolean $append_session  0 = only if needed, 1 = always.
  
  @return string  The hidden form input, if needed/requested.
docstring_tokens: Returns a hidden form input containing the session name and id .