rfc:mixed-typehint
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
| rfc:mixed-typehint [2019/02/08 00:28] – removed obsolete statement majkl | rfc:mixed-typehint [2020/07/22 09:03] – kocsismate | ||
|---|---|---|---|
| Line 4: | Line 4: | ||
| * Revived: 2019-02-07 | * Revived: 2019-02-07 | ||
| * Author: Michael Moravec (php.net@majkl578.cz) | * Author: Michael Moravec (php.net@majkl578.cz) | ||
| - | * Status: | + | * Status: |
| * First Published at: http:// | * First Published at: http:// | ||
| + | * Superseded by: [[rfc: | ||
| ===== Introduction ===== | ===== Introduction ===== | ||
| Line 36: | Line 37: | ||
| Due to this difference, '' | Due to this difference, '' | ||
| - | ===== Type system | + | ===== Type system |
| < | < | ||
rfc/mixed-typehint.txt · Last modified: 2020/07/22 09:03 by kocsismate