rfc:mixed-typehint
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
rfc:mixed-typehint [2019/02/08 00:28] – removed obsolete statement majkl | 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 | ||
* 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.1549585735.txt.gz · Last modified: 2019/02/08 00:28 by majkl