$start = microtime(TRUE); // Code PHP à bencher for ($i = 0; $i < 10000; $i++) { isset($array[‘id’]); } echo number_format(microtime(TRUE) – $start, 6).” seconds: isset\n“;
View Ajax request handler Note Checks to see if browser is IE based or other. function createRequestObject(handler) { var xmlHttp; ... Read More
View Non-ASCII character when running Python scripts En en-tête du script, apres le shebang (#!/usr/bin/env python en général, ou #!/usr/bin/python), insérer la ligne suivante afin de forcer l'encodage a utf-8 (car... Read More
View Formater une URL proprement pour URL Rewriting Note Il vous suffit ensuite de déclarer ainsi function format_url(); function format_url( $url, $type = ” ){ $url = preg_replace(“`\`U”,“”,$url);... Read More
View Alert PHP function alertPhp($texto){ echo “<script type=’text/javascript’>alert(‘”.$texto.“‘);</script>”; } Read More
