<?php
_datetime_to_int("Wecken", "Date");
_add_index("Wecken", array("UID"));
?>