Code

[RFC] Optional interfaces#17288

Code

Draft

tontonsb wants to merge 3 commits intophp:masterphp/php-src:masterfrom tontonsb:optional-interfacestontonsb/php-src:optional-interfacesCopy head branch name to clipboard

+50-17

Commits

Commits on Dec 28, 2024

• Add syntax for optional interfaces

  tontonsb

  committed
  660ce19

Commits on Dec 29, 2024

• Remove resolved comments

  tontonsb

  committed
  f7e4ac0

• Move the num_interfaces mutation to a safer place

  tontonsb

  committed
  dd8cb28