Bonjour,
ce n'est pas une extension, on pouvait le faire par :
Code:
1 2 3
| echo "<script language=javascript>";
echo "...du code javascript...";
echo "</script>"; |
ou via une fonction :
Code:
1 2 3 4 5 6
| function javascripter($chaine_code_javascript)
{
echo "<script language=javascript>";
echo $chaine_code_javascript;
echo "</script>";
} |