<?php // Compte les pages du wiki // Commande bash : ls -R /var/www/wiki/data/pages/ | grep -c .txt echo exec('ls -R /var/www/wiki/data/pages/ | grep -c .txt')." pages dans ce wiki"; ?> </p>
Ce qui donne :