<?php

function start_timer() {
  GLOBAL $script_start_time;
  $microtime=explode(" ", microtime());
  $script_start_time=$microtime[1]+$microtime[0];
}

function stop_timer($stellen) {
  GLOBAL $script_start_time;
  $microtime = explode(" ", microtime());
  $script_stop_time = $microtime[1]+$microtime[0];
  return number_format(($script_stop_time-$script_start_time),$stellen);
}

start_timer();

/////////////////////////////// Beginn der Wochentag-Berechnung

$year = 2007;
$month = 'Sep';
$day = '20';
$mar = array(false,'Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec');

for ($i=0;$i<100000;$i++) {
  $month_num = array_search($month,$mar);

  $dif = $year - 1990;                        // 1. Jan 1990 war ein Montag
  $leap_year_dif = $dif;                      // Anzahl der Schaltjahre herausfinden
  if ($month_num > 2) $leap_year_dif++;       // ...
  $leap_year = ceil(($leap_year_dif-2)/4);    // ...
  $dif = $dif*365 + $leap_year;               // Tage berechnen
  if ($month_num > 1) $dif += 31;             // Tage für Monate dazurechnen
  if ($month_num > 2) $dif += 28;
  if ($month_num > 3) $dif += 31;
  if ($month_num > 4) $dif += 30;
  if ($month_num > 5) $dif += 31;
  if ($month_num > 6) $dif += 30;
  if ($month_num > 7) $dif += 31;
  if ($month_num > 8) $dif += 31;
  if ($month_num > 9) $dif += 30;
  if ($month_num > 10) $dif += 31;
  if ($month_num > 11) $dif += 30;
  if ($month_num > 12) $dif += 31;
  $dif += $day-1;                             // Tag dazurechnen

  $weekday = ($dif % 7);                      // Wochentag ausrechnen
}

/////////////////////////////// 0 => Montag
/////////////////////////////// 1 => Dienstag
/////////////////////////////// ...
/////////////////////////////// 6 => Samstag

/////////////////////////////// Ende der Wochentag-Berechnung

echo stop_timer(9); /////////// BENÖTIGT:
/////////////////////////////// ~ 0.514 (Durchschnitt)

?>