I am running some pywikibot code on a couple of wikis. I constantly find myself going to [[Special:Recentchanges]] and then clicking the "show bots" link (which adds &hidebots=0 as a parameter).
Is it possible to turn the default display of bot edits in MediaWiki's recent changes?
It's not part of MediaWiki core, but I guess it could be done through an extension and possibly there's another way I didn't think of (though I guess [[MediaWiki:Common.js]] is not gonna do much).