tree 7e3ab2c5fa452c45bf1fa64cc52a875faf5e9e13
parent 1eabe1b29bde6ac2b7f38d8730b300f867c80ca9
author Olly Betts <olly@survex.com> 1616453397 +1300
committer Olly Betts <olly@survex.com> 1620024148 +1200

php: Stop using dl()

With modern PHP it only works with the CLI version of PHP, so it's
better to direct users to load the extension via "extension=" in
php.ini.

Suggested by ferdynator in #1529.