Issue #8744 by tj, changed php-saml repos
Issue #8744 by tj, removed merged patch