[09:06:50] Hi all [09:08:48] I've manually reset one of user password in SQL, it works. But now I always get following error when I try to modify password or email address in Wiki system page: [09:08:51] CAS update failed on user_touched for user ID '55' (read from slave); the version of the user to be saved is older than the current version. [09:08:58] can anyone help? [09:22:00] JHK: try resetting it with the maintenance script [09:26:09] JHK: https://www.mediawiki.org/wiki/Manual:Maintenance_scripts#Running_the_scripts and https://www.mediawiki.org/wiki/Manual:ChangePassword.php [13:34:43] andre__: This made me laugh today. :D https://usercontent.irccloud-cdn.com/file/CqtIZUn4/Screen%20Shot%202017-01-31%20at%206.40.40%20PM.png [13:36:32] Niharika: Heh. It's a beta version of fully i18n'ed calendar support! :P [13:43:58] Woohoo. Phabricator folks are doing some awesome work. [14:38:53] hello, I have my MW site's titles set to case-sensitive; would I be able to keep the titles' case-sensitivity while also having a case-insensitive search? [14:39:20] as an example, I want to be able to search "test" and see results for both "test" and "Test" [14:44:01] would this make sense? [18:15:19] how would I link to a page that start with //? [18:15:34] when I try to type that in, it turns the internal link into an external link [23:05:23] [[://foo]] probably.