spkitlasso/include/lassospkit_dispatcher.inc.php

<?php
  function dispatch ($urls) {
        $path_info = $_SERVER['PATH_INFO'];
        $fname = $urls[$path_info];
        if ($fname) {
            $fname();
            exit(0);
        } else {
            header("HTTP/1.0 404 Not Found");
            exit(0);
        }
    }