[11:12:37] <Ivi104>	 Hi! Could someone please help me? I'm a hrwiki admin and I'm writing a script to hide multiple revisions at the same time from the contributions page. I'm using action=revisiondelete and multiple ids (pipe separated). The API sometimes hides 1 or 2 revisions and returns an error "revdelete-modify-missing" on the others. I don't know why the error
[11:12:37] <Ivi104>	 happens.
[17:03:50] <subbu>	 is there a git repo i can check out that lists all the wmf-deployed extensions as submodules?  or does mediawiki development repo itself have it?
[17:04:13] <Reedy>	 nope
[17:04:25] <Reedy>	 oh, there's a list, yeah
[17:04:42] <Reedy>	 https://github.com/wikimedia/mediawiki-tools-release/blob/master/make-release/settings.yaml
[17:05:03] <subbu>	 ok .. thanks! :)
[21:05:40] <Reedy>	 https://www.mediawiki.org/w/index.php?title=Topic:Vv9bnk8pad4zwree&action=compare-post-revisions&topic_newRevision=vvc94w9ubu38ygd8
[21:05:50] <Reedy>	 Why does it keep formatting stuff so badly?
[22:18:55] <James_F>	 Reedy: It? StructuredDiscussions? Looks like the user copy-pasted from a rich environment (maybe their shell?).
[22:19:08] <Reedy>	 Not sure
[22:19:14] <Reedy>	 On the same thread... one of my comments
[22:19:23] <Reedy>	 I failed with the <source> tags and it did the same thing
[22:19:46] <James_F>	 Tsk, you should use <syntaxhighlight> this century. ;-)
[22:47:08] <Reedy>	 Also, that whole report
[22:47:14] * Reedy suspects their setup is actually fscked