Change 551348 had a related patch set uploaded (by Ammarpad; owner: Ammarpad):
[mediawiki/core@master] Hide history link for non-existing pages in protection log

https://gerrit.wikimedia.org/r/551348

Actually, the link can be quite useful. It leads to a page with deletion logs. So perhaps re-label and make blue?

In T224858#5670785, @matej_suchanek wrote:

Actually, the link can be quite useful. It leads to a page with deletion logs. So perhaps re-label and make blue?

I don't think so, actually that's not "edit history". Also how can we make it blue? If by linking to the deletion log; that would be redundant, as the log is already included by the opposite side of wherever the link is.

actually that's not "edit history"

That's why I suggest perhaps re-label and make blue.

Also how can we make it blue?

I'd leave the target as it is and call $linkRenderer->makeKnownLink.

Change 551348 merged by jenkins-bot:
[mediawiki/core@master] Hide history link for non-existing pages in protection log

https://gerrit.wikimedia.org/r/551348

In T224858#5674524, @matej_suchanek wrote:

Also how can we make it blue?

I'd leave the target as it is and call $linkRenderer->makeKnownLink.

Yes, that will work. But I believe either changes are trivial and obscure. Not many people will even notice something changed here.