go_definitions.php update