Remove the abandoned phpdoc-to-typehint#430

jakzal merged 1 commit intomasterjakzal/toolbox:masterfrom

phpdoc-to-typehint-removaljakzal/toolbox:phpdoc-to-typehint-removalCopy head branch name to clipboard