directory : /web/php/ : php-docs.html

Directory path . web , php .
HTML Document File : php-docs.html

<?php if( isset($_REQUEST["show-source"]) ) {
    header('Content-Type: text/plain');
    die( file_get_contents( $_SERVER['SCRIPT_FILENAME'] ) );
} ?>
<!DOCTYPE html>
<html lang="en">

<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title> PHP documentation links </title>
    <link rel="stylesheet" href="/sitewide.css"><script src="/web/dhtml/color-theme/colors.js"></script>
</head>

<body>

    <div><a href="."> go to main page. </a></div>

    <hr>

    <?php

$list = 
"language.types.boolean
language.types.integer
language.types.float
language.types.string
language.types.array
reserved.variables.request
control-structures.if
control-structures.switch
control-structures.while
control-structures.for
functions.user-defined
function.return";

$items = explode("\n",$list);

foreach($items as $item){
	print("<li><a href='https://www.php.net/manual/en/$item.php'>$item</a></li>\n");
}

?>

    <hr>

    <script src="/web/show-source.js" data-href="?show-source"></script>

</body>

</html>