Prado\Web\THttpSession::getSessionID PHP Method