php-src/ext/standard/dl.stub.php

<?php

function dl(string $extension_filename): bool {}