[05:37:40] hi, I'm trying to rename my own account on a mediawiki site, but I can't find any usage examples for the maintenance script. [05:38:50] when I try to run it in accordance with the help output, passing the --oldname and --newname arguments, I get "TypeError: Argument 2 passed to MediaWiki\User\ActorStore::attachActorId() must be of the type int, null given" [05:38:54] am I missing something? [12:27:14] tsundoku-: What version of MW? And any more line numbers/similar to that error? [13:13:12] Reedy: 1.39.1. here is the whole backtrace it gives: http://ix.io/4IFq [15:05:56] tsundoku: What happens if you use "php renameUser.php foo bar --reason "baz"" [15:06:39] oh [15:07:02] it was an "option" in REL1_39 as an extension [15:07:09] it's now an argument on master [15:07:12] Ignore that then [15:07:18] definitely works fine on master though [15:07:35] * Reedy tests on REL1_39 [15:10:13] Your command works fine, at least for a newly created user on my REL1_39 wiki [15:10:52] Could definitely file that as a bug in Phabricator though [15:11:00] I'm guessing there's some issue with the actor migration in that acse [23:06:01] hello, can anybody please point me to the place in source code where the title case insensitivity is being handled? thanks [23:08:41] Danny_B: includes/title/NamespaceInfo.php [23:09:43] note that only the first letter is insensitive, the rest of the title is case sensitive [23:11:41] i know, i just wanted to check how the insensitivity of the first char is handled [23:15:31] moonmoon: either i'm blind or that file doesn't contain what i'd need. i'm looking for the piece of code which from "titLE" will make "TitLE" (except for wiktionaries) [23:15:57] $wgCapitalLinks / $wgCapitalLinkOverrides [23:16:04] the checking of which is handled in the aforementioned file [23:16:42] https://codesearch.wmcloud.org/core/?q=isCapitalized [23:37:29] assuming this is it: https://gerrit.wikimedia.org/g/mediawiki/core/+/b212c73931607045bf65a80994b932ce3852eb29/includes/title/MediaWikiTitleCodec.php#547 which implies that form of uppercasing of first letter depends on locale [23:37:37] am i right? [23:38:06] zomg a Danny_B [23:46:47] yes, it does