# robots.txt for http://example.com/

User-agent: *
Disallow: /_phpsecinfo/
Disallow: /_devtools/
Disallow: /sandbox/

# uncomment this after replacing HTTP_HOST
# Sitemap: http://example.com/sitemap.xml