tree e8f59eb9bed17c789bb5c6db8350e1b3ad0e3bf0
parent 61f00daee4a29b0c35f34e86dfba4292854cd016
author Olly Betts <olly@survex.com> 1620072304 +1200
committer Olly Betts <olly@survex.com> 1620072304 +1200

Document extension=modulename

This works for PHP >= 7.2 and is the recommended method now as it
avoids having to specify a filename which varies between platforms.