Wikimedia Bugzilla is closed!

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)