SAMLParser: Cast "index" to integer

git-svn-id: https://simplesamlphp.googlecode.com/svn/trunk@1940 44740490-163a-0410-bde0-09ae8108e29a

lib/SimpleSAML/Metadata/SAMLParser.php

@@ -1157,7 +1157,7 @@ class SimpleSAML_Metadata_SAMLParser {
 			if(!$element->hasAttribute('index')) {
 				throw new Exception($name . ' missing required index attribute.');
 			}
-			$ep['index'] = $element->getAttribute('index');
+			$ep['index'] = (int)$element->getAttribute('index');
 
 			if($element->hasAttribute('isDefault')) {
 				$t = $element->getAttribute('isDefault');