PHP – Jak sprawdzić, czy dane rozszerzenie zostało załadowane?