rfc:mixed-typehint
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
rfc:mixed-typehint [2020/07/22 09:03] – kocsismate | rfc:mixed-typehint [2020/07/22 09:03] (current) – kocsismate | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== PHP RFC: Mixed typehint ====== | + | ====== PHP RFC: Mixed typehint |
* Version: 1.2 | * Version: 1.2 | ||
* Date: 2017-07-19 | * Date: 2017-07-19 |
rfc/mixed-typehint.txt · Last modified: 2020/07/22 09:03 by kocsismate