Source of: /manual/en/w32api.requirements.php
<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/w32api.setup.inc";
$setup = array (
'home' =>
array (
0 => 'index.php',
1 => 'PHP Manual',
),
'head' =>
array (
0 => 'UTF-8',
1 => 'en',
),
'this' =>
array (
0 => 'w32api.requirements.php',
1 => 'Requirements',
),
'up' =>
array (
0 => 'w32api.setup.php',
1 => 'Installing/Configuring',
),
'prev' =>
array (
0 => 'w32api.setup.php',
1 => 'Installing/Configuring',
),
'next' =>
array (
0 => 'w32api.installation.php',
1 => 'Installation',
),
'alternatives' =>
array (
),
);
$setup["toc"] = $TOC;
$setup["parents"] = $PARENTS;
manual_setup($setup);
manual_header();
?>
<div id="w32api.requirements" class="section">
<h2 class="title">Requirements</h2>
<p class="para">
This extension will only work on Windows systems.
</p>
</div><?php manual_footer(); ?>
