Delete PhpDocTypedTagInterface.php