Topic on Extension talk:Display Title

I can see a situation where power users want to see page titles while ordinary users would be happy with display titles. The former might be dealing with the complexity of redirects and disambiguation, while the latter wants elegance. I could see myself wanting to enable/disable the feature at different times without editing config files.

Could the decision be made in user preferences pages? Notmadewelcome (talk) 07:46, 20 February 2019 (UTC)

This seems reasonable. I would consider a patch submitted in gerrit to add this functionality.

I'm afraid my knowledge of PHP and mediawiki is not up to providing a patch, I can just hunt for lines and disable them!

I added https://phabricator.wikimedia.org/T217179 to request this feature. It is unclear when somebody will have time to work on it, but it is at least tracked as a feature request.