[14:24:13] ping legoktm [18:09:30] kostajh: hi [18:10:28] legoktm: hi! I'm about to go into a meeting but was wondering if we could chat about T212771 [18:10:28] T212771: [Bug] Special:Contributions broken when the Flow extension is loaded: "Cannot access private property ContribsPager::$tagFilter" - https://phabricator.wikimedia.org/T212771 [18:11:14] what's up? [18:11:52] we probably should revert the original change as a breaking one [18:12:28] what are your thoughts on adding getters to the private properties? [18:12:54] that is fairly low impact [18:14:34] it's probably fine [18:14:38] alternatively, we could add $pagerOptions (https://gerrit.wikimedia.org/r/c/mediawiki/core/+/481891) as 6th parameters to the reallyDoQuery hook and keep $this in there (marking it as deprecated), but doesn't seem great [18:15:16] I would suggest adding a new hook with the signature that we want, and deprecating the old one [18:16:28] so https://gerrit.wikimedia.org/r/c/mediawiki/core/+/480992/ and https://gerrit.wikimedia.org/r/c/mediawiki/core/+/480995/ need to be reverted as a first step [18:18:16] ok [18:18:46] legoktm hi, im wondering if you cold force merge https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/Renameuser/+/482084/ please? :) [18:19:09] test failures happen on master too [18:19:19] so i filed https://phabricator.wikimedia.org/T212876 [19:46:11] Reedy: hi, wondering if you can merge https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/UserMerge/+/482110/ (and force merge https://gerrit.wikimedia.org/r/#/c/mediawiki/extensions/Renameuser/+/482084/ ) please? [19:46:59] :) [20:10:38] legoktm: I submitted https://gerrit.wikimedia.org/r/c/mediawiki/core/+/482119 and https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Flow/+/482120