[11:11:52] addshore, tgr|away: i'm switching mcr-full to master, and setting it to MIGRATION_WRITE_BOTH. [11:18:15] DanielK_WMDE: ack. I probably won't have much MCR time until Wednesday. [11:25:33] I'll keep poking at things [13:45:12] hmm im not sure if redis is working with mw 1.31 and php 7.2 [14:22:03] reedy hi, im wondering how do i test if php-redis 4.0 is not compatible with mw? [14:38:51] Why do you hink it's not working? [14:43:33] Reedy some of our wiki's are going really slow (we found that if we did not use redis it would make the wiki's slow). [14:43:45] What are you using redis for? [14:44:17] Reedy for cache [14:44:21] session [14:46:32] Well, sessions should be easy [14:46:35] Do you stay logged in etc? [14:47:22] Yep [14:47:24] we do [14:47:24] I think I use redis on my dev wiki with possibly 7.2 and it works fine [14:47:34] hmm [14:50:06] Enable some logging? [14:50:53] ok will do [15:08:49] anomie: if you have time, please review https://gerrit.wikimedia.org/r/c/mediawiki/core/+/426009 [15:09:17] if you have more time, also review https://gerrit.wikimedia.org/r/c/mediawiki/core/+/429421 :) [16:58:07] DanielK_WMDE: to save a phab comment spam: "ack/cool, thanks :)" [17:00:25] greg-g: :) [21:48:13] Reedy do you use php7.2 from sury on debian stretch? [21:49:53] rtfm? [21:49:53] https://packages.sury.org/php/README.txt [21:50:27] Reedy huh, was just asking a question :) [21:50:54] I tryed debugging [21:51:05] but going back to php 7.0 has the same problem too [21:51:11] The answer is the same... Read the instructions. They were freely available on the internet [21:53:37] Sure your redis instance/cluster/whatever is actually healthy? [21:54:56] Reedy yep was working up until we moved to mw 1.31 (and updated php to 7.2) but it works on my labs test instance http://ldapauth-gitldap.wmflabs.org so i will have to look into other reasons why it is not working [21:55:18] Did you upgrade to php 7.2 and upgrade to mw 1.31 at the same time? [21:55:30] mw1.31 first then php 7.2 [21:55:40] Did you test inbetween? [21:55:45] nope [21:55:57] Well, that's kinda your own fault then :/ [21:56:13] When you change multiple things at once, you run the risk of not being able to work out what broke [21:56:25] yeh [21:56:34] though going back to php 7.0 did not work. [21:56:41] still same problem. [21:56:53] Did you change the os and all the supporting libraries when 7.0 -> 7.2? [21:56:58] nope [21:57:04] we changed the os months ago. [21:57:30] though https://phabricator.wikimedia.org/P7270 that's slow which is what i am trying to use redis to speed up. [21:58:02] How would that work? [21:58:37] it seemed to worked at least (since we changed main cache to none which slowed it then changed it to redis and it was loading fast)