Danke für die schnelle Antwort. "intl" taucht auch bei mir unter "PHP-Information" und in der selben Version wie bei Ihnen auf.
Ich habe heute einfach nochmals install.php aufgerufen: Jetzt ist alles grün, allerdings wird heute gar kein Prüfpunkt "Überprüfe verfügbare PHP-Bibliotheken" mehr zwischen "Prüfe PHP-Einstellung…" und "Überprüfe das Installationsverzeichnis" aufgelistet.
Ich interpretiere das einfach mal positiv, ja? :-)