Wikibot: Difference between revisions

581 bytes added ,  10:36, 13 November 2022
no edit summary
No edit summary
No edit summary
Line 15: Line 15:
|Text=Thanks <@322545403876868096> ! Added to https://synthesis-infrastructures.wiki/Discourse_Modeling. I guess I could have used [[Wikibot]] for that, but it was easier to do it by hand than figuring out the intricacies of Wikibot.
|Text=Thanks <@322545403876868096> ! Added to https://synthesis-infrastructures.wiki/Discourse_Modeling. I guess I could have used [[Wikibot]] for that, but it was easier to do it by hand than figuring out the intricacies of Wikibot.
|Link=https://discord.com/channels/1029514961782849607/1041046303804772402/1041267914017357825
|Link=https://discord.com/channels/1029514961782849607/1041046303804772402/1041267914017357825
}}{{Message
|Author=Konrad Hinsen
|Avatar=https://cdn.discordapp.com/avatars/499904513038090240/343ae17c322fa09b3260f95e58bc4f29.png?size=1024
|Date Sent=22-11-13 10:36:54
|Channel=off-topic
|Text=Note to <@305044217393053697> about [[Wikibot]]: it doesn't pick up edits on messages that it has already added to the WIki. The version in the Wiki ends up being obsolete. Could be important when someone edits to add "not", for example. Discord users are used to having this possibility.
|Link=https://discord.com/channels/1029514961782849607/1035691728356790322/1041300620109426699
}}
}}