Prado\Web\THttpSession::setSessionID PHP Method