In https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1143672, @daniel deprecated PageRevisionUpdatedListener in favour of `PageLatestRevisionChangedListener. However, the old interface is still used in several places, and it should be presumably replaced.
In code, the suggested replacement is PageLatestRevisionChangedListener. However, some places might actually benefit from a different listener, so I'd suggest to review the list of available event types prior to making the replacement.