O sea que el método setExtension debe quedar:
Código PHP:
function SetExtension($ExtensionName)
{
$ExtensionName = (string)$ExtensionName;
if ( array_key_exists($ExtensionName, $this->extensions_references) ) // Aquí estuvo el cambio
{
$this->extension =& $this->extensions_references[$ExtensionName];
return true;
}
{
die("Extension '{$ExtensionName}' does not has been loaded yet!");
}
}
Saludos