Detect deprecated methods from the interface as well.#792

Merged

ondrejmirtes merged 1 commit intophpstan:masterfrom

eiriksm:fix/deprecated-from-interface

Nov 21, 2021

Commits on Nov 21, 2021

Resolve deprecated tag also from parents
eiriksm
committed