array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'intro.win32service.php', 1 => 'Introduction', ), 'up' => array ( 0 => 'book.win32service.php', 1 => 'win32service', ), 'prev' => array ( 0 => 'book.win32service.php', 1 => 'win32service', ), 'next' => array ( 0 => 'win32service.setup.php', 1 => 'Installation/Configuration', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'reference/win32service/book.xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); ?>
L'extension win32service est une extension spécifique à Windows qui autorise PHP à communiquer avec la Gestion de Contrôle de Service pour démarrer, arrêter, enregistrer ou effacer des services, et autorise aussi vos scripts PHP à s'exécuter en tant que service.