[00:11:58] what happens when a bot makes updates to a bunch of pages? what happens for users currently editing those pages? [00:12:27] I know there is a system for merging changes and resolving conflicts, just not sure how it works [00:16:31] Depends if the changes conflict [00:22:58] ok. part of these pages are auto-generated. I'm making an update to the auto-generation algorithm and want to apply it to the relevant pages, however, I'm worried that someone might be in the middle of an editing session on one of them. so once they save, their portion will save its newly auto-generated bit which may conflict [00:23:16] ideally I'd like to always resolve conflicts of this particular sort with the newest version of the conflicting section of the page [00:23:29] but, I don't know if it's possible to detect just that sort of conflict, and resolve it that way [14:01:27] Technical Advice IRC meeting starting in 60 minutes in channel #wikimedia-tech, hosts: @Lucas_WMDE & @tgr - all questions welcome, more infos: https://www.mediawiki.org/wiki/Technical_Advice_IRC_Meeting [14:51:22] Technical Advice IRC meeting starting in 10 minutes in channel #wikimedia-tech, hosts: @Lucas_WMDE & @tgr - all questions welcome, more infos: https://www.mediawiki.org/wiki/Technical_Advice_IRC_Meeting [16:44:07] This is most likely not possible, but is it possible to exclude pages from RC? [17:20:56] Reception123: not without an extension. You could do a bot edit though which will hide it from the default RC view [17:23:25] Skizzerz: okay, that's what I thought though was just making sure. Thanks anyway :) [17:27:27] Skizzerz: I guess you could probably do an inline hook subscriber in LS... [17:38:52] Reedy: sure. Still PHP code though :) [17:38:59] heh [17:39:11] also suppressing an edit technically removes it from RC, but I kinda doubt that's what was being asked [19:34:42] greetings all. I'm upgrading my mediawiki installation from 1.28.2 to the most recent (1.33.0) the nex version is asking for PHP 7. I have that in my server. [19:34:53] how do I direct mediawiki to it? [19:35:06] change your webserver config probably [19:38:14] Reedy probably in php.ini huh? [19:38:24] It really depends what you're using [19:38:38] It might be you need to make your webserver use/load php7 rather than php5 [19:39:04] You'd have to give somemore info on your setup :) [19:40:45] I see... well mostly I was asking if there is some file in the mediawiki installation that I need to change to direct it to the newer version of PHP [19:41:10] No, it's not a MW config issue [19:41:27] it'll be webserver config/setup... either for the vhost, or the server [19:42:08] got you. I'm sure I've done it for previous upgrades, its just been years since I did maintenance. so I'm trying to relearn all this stuff [19:42:45] in most cases, it shouldn't be too difficul [19:42:46] t [22:42:30] Hello. I have a desktop application where I try to display a wiki that requires a login. I'm able to login with .../w/api.php?action=clientlogin. I that login useful to display a wiki page afterwards? [22:43:09] I hoped just passing the cookie that I got after the action=clientlogin to a WebBrowser control would work [22:43:56] Is my expectation that this could work wrong?