Actually while discussing this idea with Pathoschild something interesting came
about. Why not prod the issue a bit further. The code could add a "bot"
(variable - so that it can be translated to the local language) to the bots
name?
Current history line (from fr.wiki)
16:56, 2 September 2007 Ordinateur (Talk | contribs) m (43 bytes) (Robot :
répare double redirection) (undo)
how it would be:
16:56, 2 September 2007 ([[link to what a wikipedia bot is|Robot]]) Ordinateur
(Talk | contribs) bm (43 bytes) (Robot : répare double redirection) (undo)
One or two Mediawiki namespace pages can deal with this.
-----------------------------------
I was told to propose this separately on bug #11162 (comment 3)
--------------------------
**Version**: unspecified
**Severity**: enhancement
**See Also**:
https://bugzilla.wikimedia.org/show_bug.cgi?id=16228