User-agent: *                   # all robots not specified earlier
Disallow: /cgi-bin/
Disallow: /extensions/
Disallow: /images/
Disallow: /includes/
Disallow: /languages/
Disallow: /maintenance/
Disallow: /math/
Disallow: /skins/