remplacer les appels à checkout.php par checkout

fix #1

mirror.php

@@ -22,12 +22,12 @@ $updated = [];
 $empty = [];
 $nb_repositories = 0;
 
-// tester si checkout.php est bien disponible dans le path
+// tester si checkout est bien disponible dans le path
 $output = [];
-exec('which checkout.php', $output);
+exec('which checkout', $output);
 $output = trim(implode("\n", $output));
 if(empty($output)){
-	echo "Le script checkout.php doit être installé d'abord : https://git.spip.net/spip-contrib-outils/checkout\n";
+	echo "Le script checkout doit être installé d'abord : https://git.spip.net/spip-contrib-outils/checkout\n";
 	die();
 }
 
@@ -65,7 +65,7 @@ foreach ($url_orgs as $url_org) {
 					$errors[] = $url;
 				}
 				else {
-					$cmd = "checkout.php -bmaster $url $dir";
+					$cmd = "checkout -bmaster $url $dir";
 					echo "\n$cmd\n";
 					passthru($cmd);
 					echo "\n";