Line 425: Line 425:
:Not sure - might just be how wikis are (given that edit logs are public, it's pretty easy to combat anyone trying to abuse it, same as with article vandalism)
:Not sure - might just be how wikis are (given that edit logs are public, it's pretty easy to combat anyone trying to abuse it, same as with article vandalism)
:I'll page in @[[User:UntoK|UntoK]] in case it's something that isn't how it should be [[User:Keith|Keith]] ([[User talk:Keith|talk]]) 23:13, 4 December 2025 (UTC)
:I'll page in @[[User:UntoK|UntoK]] in case it's something that isn't how it should be [[User:Keith|Keith]] ([[User talk:Keith|talk]]) 23:13, 4 December 2025 (UTC)
::Nah, that's MediaWiki. Nothing unusual there. Edit Source is actually the default way to edit discussions in MediaWiki, but the interface is changed by an extension (forgot the name), so that it shows as this instead of just the edit source button. [[User:AnotherConsumerRightsPerson|'''''AnotherConsumerRightsPerson''''']] ([[User talk:AnotherConsumerRightsPerson|talk]]) 15:37, 5 December 2025 (UTC)