T37045 added some magic to MediaWiki so article names matched the URL after a redirect.
It would be nice if similar magic also updated the URL based on the display title of the article.
For example, https://en.wikipedia.org/wiki/iPhone rewrites to https://en.wikipedia.org/wiki/IPhone, even though the article is displayed as "iPhone".
@matmarex: Thoughts on this task? "IPhone" in the URL has only bothered me for about forever. :-)
This actually looks kind of hairy. Doing the same things as in T37045 would require jumping through only a few hoops (to generate the URL we want from the HTML displaytitle we have, and make it available to JS), but what about canonical URLs? What about the HTTP redirects from non-canonical forms? (https://en.wikipedia.org/wiki/dog redirects to https://en.wikipedia.org/wiki/Dog right now.) Are there any other situations this affects other than the lowercase first letter, and could they cause problems when done in the URL?
MariaDB [enwiki_p]> select page_id, page_namespace, page_title, pp_propname, pp_value
from page join page_props on page_id = pp_page
where page_title = 'Roe_v._Wade' and page_namespace = 0 and pp_propname = 'displaytitle';
+---------+----------------+-------------+--------------+--------------------+
| page_id | page_namespace | page_title | pp_propname | pp_value |
+---------+----------------+-------------+--------------+--------------------+
| 68493 | 0 | Roe_v._Wade | displaytitle | <i>Roe v. Wade</i> |
+---------+----------------+-------------+--------------+--------------------+
1 row in set (0.01 sec)Hrm.