[Mediawiki-l] No hide bots in recentchanges in German?

[Hugh Prior]

Is it my poor German, or does MediaWiki 1.5.6 give no direct ability to do 
"hide bots" in recentchanges?

Compare "en", which has a "hide bots" link:
http://en.chainki.org/index.php?title=Special:Recentchanges

with "de", which, as far as my German goes, does not:
http://de.chainki.org/index.php?title=Spezial:Recentchanges

of course I can manually append "hidebots=1" to the URL, but that's not very 
user-friendly.


Hugh
http://chainki.org
 The world's biggest collection of links that anyone can edit