Last modified: 2013-03-07 19:59:10 UTC
Edits by global bots are no longer marked as bot edits. E.g.: https://cs.wiktionary.org/w/index.php?title=bis&curid=25701&diff=345732&oldid=248199 https://cs.wiktionary.org/w/index.php?title=Speciální%3AGlobalUsers&username=&group=Global_bot
I bet this bot just isn't marking it's edits as bot edits.
Actually, even local bots show up in exactly the same way as this with bot-flagged edits, for example: Bot flag is shown for the edit on Special:RecentChanges: (diff | hist) . . b User talk:Jsport; 17:22 . . (+990) . . DPL bot (Talk | contribs) (dablink notification message (see the FAQ)) [rollback] Diff and history don't show it: https://en.wikipedia.org/w/index.php?title=User_talk:Jsport&curid=28215093&diff=524671470&oldid=511672580 https://en.wikipedia.org/w/index.php?title=User_talk:Jsport&action=history
Works for me. Editing as a user part of a global bot group allows me to flag my edits as bot edits by setting the 'bot' parameter (not using this parameter produces edits with no bot flag, which is the correct behaviour).