<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/index.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'it',
  ),
  'this' => 
  array (
    0 => 'copyright.php',
    1 => 'Copyright',
    2 => 'Copyright',
  ),
  'up' => 
  array (
    0 => 'index.php',
    1 => 'Manuale PHP',
  ),
  'prev' => 
  array (
    0 => 'index.php',
    1 => 'Manuale PHP',
  ),
  'next' => 
  array (
    0 => 'getting-started.php',
    1 => 'Guida Rapida',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'it',
    'path' => 'bookinfo.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="legalnotice">
   <div class="info"><h1 class="title">Copyright</h1></div>
   <p class="simpara">
    Questo manuale è © 1997 - 2026 del Gruppo di Documentazione PHP.  
    Questo manuale può essere redistribuito secondo i termini e le condizioni 
    indicate dalla licenza Creative Commons Attribution 3.0
    o successive. Una copia della <a href="cc.license.php" class="link">licenza Creative
    Commons Attribution 3.0</a> è distribuita con questo manuale.
    La versione più recente è disponibile a
   <a href="http://creativecommons.org/licenses/by/3.0/" class="link external">&raquo;&nbsp;http://creativecommons.org/licenses/by/3.0/</a>.
   </p>
   <p class="simpara">
    In caso si desideri distribuire o pubblicare questo documento, totalmente
    od in parte, sia in versione integrale o modificata, oppure se si hanno
    dubbi, contattare i detentori del copyright a
    <a href="mailto:doc-license@lists.php.net" class="link external">&raquo;&nbsp;doc-license@lists.php.net</a>.
    Nota: questo indirizzo porta ad una mailing list pubblica.
   </p>
  </div><?php manual_footer($setup); ?>