Skip to content

use @deprecated phpdoc to augment properties#1543

Merged
DerManoMann merged 1 commit intozircote:masterfrom cdaguerre:feat/deprecated-phpdoc-tagFeb 4, 2024

Commits

Commits on Jan 30, 2024