[18:05:08] <TheUnblockable>	 Which extension is it that makes links ignore case?
[18:05:55] <TheUnblockable>	 (EG 'Page name' will automatically redirect you to 'Page Name')
[18:08:14] <TheUnblockable>	 (If 'Page name' doesn't exist)
[18:08:29] <TheUnblockable>	 (and 'Page Name' does)
[18:13:21] <Majavah>	 TheUnblockable: based on my Google search it appears to be https://www.mediawiki.org/wiki/Extension:SaneCase
[18:13:35] <TheUnblockable>	 Thanks!
[19:57:31] <adfeno>	 Where to costumize the top links that appear in user pages?
[20:12:24] <adfeno>	 I want to add more links to .mw-head.left-navigation and .mw-head.right-navigation
[22:37:43] <Krinkle>	 subbu: cscott: It looks like T145604 is basically already half-way implemented and has already been discussed publicly as well. Are there other parties you think need to be heard, or does this seem ready to put on Last Call for approval?
[22:37:44] <stashbot>	 T145604: RFC: Future of magic links - https://phabricator.wikimedia.org/T145604