Fehlerkorrektur an extensions.php