Disallow: /mirror.php

User-agent: wget
Disallow: /