[PRQ#60148] Deletion Request for phptok

[notify]

sanduhrs [1] filed a deletion request for phptok [2]:

The package has been archive in 2018, the signed build is gone.

[1] https://aur.archlinux.org/account/sanduhrs/
[2] https://aur.archlinux.org/pkgbase/phptok/