<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/json.setup.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'ja',
  ),
  'this' => 
  array (
    0 => 'json.installation.php',
    1 => 'インストール手順',
    2 => 'インストール手順',
  ),
  'up' => 
  array (
    0 => 'json.setup.php',
    1 => 'インストール/設定',
  ),
  'prev' => 
  array (
    0 => 'json.setup.php',
    1 => 'インストール/設定',
  ),
  'next' => 
  array (
    0 => 'json.constants.php',
    1 => '定義済み定数',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'ja',
    'path' => 'reference/json/setup.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="json.installation" class="section">
  <h2 class="title">インストール手順</h2>
  <p class="para">
   JSON 拡張モジュールは PHP コアに組み込まれているため、
   常に有効になっています。
  </p>
  <p class="para">
   PHP 8.0.0 より前のバージョンでは、
   JSON 拡張モジュールは PHP にバンドルされ、
   デフォルトでコンパイルされていました。
   しかし、<strong class="option configure">--disable-json</strong>
   を指定することで明示的に無効にすることもできました。
  </p>
 </div><?php manual_footer($setup); ?>