Minor changes to robots.php

Change-Id: If41754c54c3aae6c05a729538942f9af72ee4ebc