User-agent: *
Disallow: /index.php
Disallow: /Special:Random
Disallow: /Special:
Disallow: /Source
Disallow: /Credits

# Sorry, wget in its recursive mode is a frequent problem.
User-agent: wget
Disallow: /