Current revision

You have two possiblities for searching

Mediawiki Search

You can search the wiki with mediawiki's own Special:Search which only searches the wiki, but is always up to date.

Site Search

You can search the wiki with Site Search which searches more, including the documentation, but is only updated once a week.