User-Agent: *
Disallow: /workspace
Disallow: /extensions
Disallow: /install.php
Disallow: /install.sql
Disallow: /LICENCE
Disallow: /README.markdown
Disallow: /update.php
Disallow: /symphony.php