1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
<head>
<?php
// Simple function to write text file
function writeTextFile($fileName,$text) {
$session = fopen($fileName,"a+");
fputs($session,$text);
fclose($session);
}
ob_start(); // Début de l'enregistrement
//---
// Le script PHP qui retrounera les
// données HTML qui vous intéressent.
//---?>
<? // CHRONOMETRE
// On récupère la date au lancement de la page
$temps = microtime();
$temps = explode(' ', $temps);
$debut = $temps[1] + $temps[0];
// CHRONOMETRE?>
<!-- ce que je veut enregistrer -->
<table cellpadding="0" cellspacing="0" border="0">
<tr>
<td>
<?php echo $row->cours_description;?>
</td>
</tr>
</table>
<!-- -->
<? //CHRONOMETRE
// On récupère la date de fin d'exécution du script
$temps = microtime();
$temps = explode(' ', $temps);
$fin = $temps[1] + $temps[0];
// On affiche la différence entre des deux valeurs
// CHRONOMETRE?>
</div>
</div>
<? $content = ob_get_contents(); // Fin de l'enregistrement
// Sauvegarder ma page dans un fichier html
writeTextFile("$_GET[nom]doc.html",$content);
?></body>
</html> |
