projects / GitHub / WoltLab / woltlab.github.io.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d78ebc9 06b358e)
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)
Document the that PHP DDL now requires the `$name` parameter


Trivial merge