User-Agent: *
Disallow: /LocalSettings.php
Disallow: /skins/
Disallow: /index.php/Special:Random
Disallow: /index.php/Special%3ARandom
Disallow: /index.php/Special:Search
Disallow: /index.php/Special%3ASearch

User-agent: wget
Disallow: /