It’s got to be somewhere in the phpinfo() dump, but I just don’t know where. Is it supposed to be under the “Additional Modules” section? Somewhere else? I’m trying to figure out why some extensions don’t appear to be loaded, but I don’t even know where I should be looking.