User-agent: * 
Disallow: codex.php
Disallow: /codex.php
Disallow: /en/codex.php