Köszönöm az eddigieket. Eggyel jobb:
Az új kilens hívása nem jelzett hibát: $mongo = new MongoDB\Driver\Manager("mongodb://127.0.0.1:27017");
echo extension_loaded("mongodb") ? "loaded\n" : "not loaded\n"; azt írja "loaded"
De, próbálom a https://docs.mongodb.com/php-library/current/tutorial/ legegyszerűbb példáit és nem működik.
$collection = $mongo->test->users; -->Undefined property: MongoDB\Driver\Manager::$test