Code source PHP

 Compter le nombre de lignes d'un fichier
Retour à la page précédente pour choisir une fiche PHP <?php
$fichier="fichier.txt";
$ligne=file($fichier);
echo sizeof($ligne);
?>

Le nombre de lignes que contient fichier.txt est
447