Dropping here:
Nikerabbit> an idea from the xwiki presentation: make one search for docs, bugs, irc and mailing list
(from FOSDEM). Done as , maybe it's useful for some. Google is the only option because we don't have any mailing list search (even with Google we have to rely on a mirror).
As requested by Waldir, I've placed the list of URL on User:Nemo bis/MediaWiki search for everyone to edit. Let me know if you are interested in being added as administrator.
Interesting. How could this be more visible for those needing it more, mainly newbies?
If people like it, it's extremely easy to integrate it in the standard MediaWiki search, see for instance w:it:Speciale:Ricerca.
Interesting! I think it's worth to be discussed in an enhancement request.
What do you mean? It's a sysop action (adding some JS to MediaWiki:Common.js), so this is the place where to discuss it.
