Fix forgotten MediaWiki setting to grep

Bug introduced in #23. Fixes #25.