Merge pull request #309 from WoltLab/php-ddl-index
authorTim Düsterhus <duesterhus@woltlab.com>
Thu, 6 Oct 2022 14:52:22 +0000 (16:52 +0200)
committerGitHub <noreply@github.com>
Thu, 6 Oct 2022 14:52:22 +0000 (16:52 +0200)
commitccd4ddadd229390455186d850b87539368cbcdfb
tree4ea85f5c1a7f8656503f8e141473696d9a63328b
parentd78ebc9d4cf2b1a8280d490ba2d5921f43869d1c
parent06b358e89cb19d9c8a3dfd777169be0d295ec027
Merge pull request #309 from WoltLab/php-ddl-index

Document the that PHP DDL now requires the `$name` parameter