Source of: /manual/fr/function.die.php
<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/ref.misc.inc";
$setup = array (
'home' =>
array (
0 => 'index.php',
1 => 'PHP Manual',
),
'head' =>
array (
0 => 'UTF-8',
1 => 'fr',
),
'this' =>
array (
0 => 'function.die.php',
1 => 'die',
),
'up' =>
array (
0 => 'ref.misc.php',
1 => 'Fonctions diverses',
),
'prev' =>
array (
0 => 'function.defined.php',
1 => 'defined',
),
'next' =>
array (
0 => 'function.eval.php',
1 => 'eval',
),
);
$setup["toc"] = $TOC;
$setup["parents"] = $PARENTS;
manual_setup($setup);
manual_header();
?>
<div id="function.die" class="refentry">
<div class="refnamediv">
<h1 class="refname">die</h1>
<p class="verinfo">(PHP 4, PHP 5)</p><p class="refpurpose"><span class="refname">die</span> — <span class="dc-title">Alias de la fonction <a href="function.exit.php" class="function">exit()</a></span></p>
</div>
<a name="function.die.description"></a><div class="refsect1 description">
<h3 class="title">Description</h3>
<p class="para">
Ce constructeur de langage est équivalent à <a href="function.exit.php" class="function">exit()</a>.
</p>
</div>
</div><?php manual_footer(); ?>
