// // (see the files README and COPYING for more details) // function wx200_time($array) { // nothing yet } ?>