{$addnotesnippet}
END_USERNOTE_HEADER;
// If we have no notes, then inform the user
if ($num_notes === 0) {
echo "\n User Contributed Notes {$noteCountHtml}
There are no user contributed notes for this page.
";
} else {
// If we have notes, print them out
echo '';
foreach ($notes as $note) {
manual_note_display($note);
}
echo "
\n";
echo "$addnotesnippet
\n";
}
echo "";
}
/**
* Get user notes from the appropriate text dump
*
* @return array
{$vote}
VOTEDIV;
} else {
$votediv = null;
}
// If the viewer is logged in, show admin options
if (isset($_COOKIE['IS_DEV']) && $note->id) {
$admin = "\n \n " .
make_popup_link(
'https://main.php.net/manage/user-notes.php?action=edit+' . $note->id,
'
',
'admin',
'scrollbars=yes,width=650,height=400',
) . "\n " .
make_popup_link(
'https://main.php.net/manage/user-notes.php?action=reject+' . $note->id,
'
',
'admin',
'scrollbars=no,width=300,height=200',
) . "\n " .
make_popup_link(
'https://main.php.net/manage/user-notes.php?action=delete+' . $note->id,
'
',
'admin',
'scrollbars=no,width=300,height=200',
) . "\n ";
} else {
$admin = '';
}
echo <<{$datestr}
{$text}
USER_NOTE_TEXT;
}
function manual_navigation_breadcrumbs(array $setup) {
$menu = [];
foreach (array_reverse($setup["parents"]) as $parent) {
$menu[] = [
"title" => $parent[1],
"link" => $parent[0],
];
}
// The index manual page has no parent..
if ($setup["up"][0]) {
$last_item = [
"title" => $setup["up"][1],
"link" => $setup["up"][0],
];
$menu[] = $last_item;
}
return $menu;
}
function manual_navigation_related(array $setup) {
$siblings = [];
foreach ($setup['toc'] as $entry) {
$siblings[] = [
"title" => manual_navigation_methodname($entry[1]),
"link" => $entry[0],
"current" => $setup["this"][0] == $entry[0],
];
}
// The index manual page has no parent..
if ($setup["up"][0]) {
$last_item = [
"title" => $setup["up"][1],
"link" => $setup["up"][0],
];
$siblings = [array_merge($last_item, ["children" => $siblings])];
}
return $siblings;
}
function manual_navigation_deprecated(array $setup) {
$methods = [];
foreach ((array)$setup['toc_deprecated'] as $entry) {
$methods[] = [
"title" => manual_navigation_methodname($entry[1]),
"link" => $entry[0],
"current" => $setup["this"][0] == $entry[0],
];
}
return $methods;
}
function manual_navigation_methodname($methodname) {
// We strip out any class prefix here, we only want method names
if (strpos($methodname, '::') !== false && strpos($methodname, ' ') === false) {
$tmp = explode('::', $methodname);
$methodname = $tmp[1];
}
// Add zero-width spaces to allow line-breaks at various characters
return str_replace(['-', '_'], ['-', '_'], $methodname);
}
// Set up variables important for this page
// including HTTP header information
function manual_setup($setup): void {
global $PGI, $MYSITE, $USERNOTES;
global $ACTIVE_ONLINE_LANGUAGES;
//TODO: get rid of this hack to get the related items into manual_footer
global $__RELATED;
if (!isset($setup["toc_deprecated"])) {
$setup["toc_deprecated"] = [];
}
$PGI = $setup;
// Set base href for this manual page
$base = 'manual/' . language_convert($setup['head'][1]) . "/";
$_SERVER['BASE_PAGE'] = $base . $setup['this'][0];
$_SERVER['BASE_HREF'] = $MYSITE . $_SERVER['BASE_PAGE'];
$timestamps = [
filemtime($_SERVER["DOCUMENT_ROOT"] . "/" . $_SERVER["BASE_PAGE"]),
filemtime($_SERVER["DOCUMENT_ROOT"] . "/include/prepend.inc"),
filemtime($_SERVER["DOCUMENT_ROOT"] . "/styles/theme-base.css"),
];
// Load user note for this page
$filename = $PGI['this'][0];
// Drop file extension from the name
if (substr($filename, -4) == '.php') {
$filename = substr($filename, 0, -4);
}
$USERNOTES = manual_notes_load($filename);
if ($USERNOTES) {
$note = current($USERNOTES);
$timestamps[] = $note->ts;
}
$lastmod = max($timestamps);
$breadcrumbs = manual_navigation_breadcrumbs($setup);
$__RELATED['toc'] = manual_navigation_related($setup);
$__RELATED['toc_deprecated'] = manual_navigation_deprecated($setup);
$config = [
"current" => "docs",
"breadcrumbs" => $breadcrumbs,
"languages" => array_keys($ACTIVE_ONLINE_LANGUAGES),
"meta-navigation" => [
"contents" => $base . $setup["home"][0],
"index" => $base . $setup["up"][0],
"prev" => $base . $setup["prev"][0],
"next" => $base . $setup["next"][0],
],
"lang" => $setup["head"][1],
"thispage" => $setup["this"][0],
"prev" => $setup["prev"],
"next" => $setup["next"],
"cache" => $lastmod,
];
site_header($setup["this"][1] . " - Manual ", $config);
$languageChooser = manual_language_chooser($config['lang'], $config['thispage']);
echo <<
{$languageChooser}
PAGE_TOOLS;
}
function manual_language_chooser($currentlang, $currentpage) {
global $ACTIVE_ONLINE_LANGUAGES;
// Prepare the form with all the options
$othersel = ' selected="selected"';
$out = [];
foreach ($ACTIVE_ONLINE_LANGUAGES as $lang => $text) {
$selected = '';
if ($lang == $currentlang) {
$selected = ' selected="selected"';
$othersel = '';
}
$out[] = "";
}
$out[] = "";
$format_options = implode("\n" . str_repeat(' ', 6), $out);
$r = <<Improve This Page
$lastUpdate $contributors
CONTRIBUTE;
manual_notes($USERNOTES, $repo);
site_footer([
'related_menu' => $__RELATED['toc'],
'related_menu_deprecated' => $__RELATED['toc_deprecated'],
]);
}
// This function takes a DateTime object and returns a formated string of the time difference relative to now
function relTime(DateTime $date) {
$current = new DateTime();
$diff = $current->diff($date);
$units = ["year" => $diff->format("%y"),
"month" => $diff->format("%m"),
"day" => $diff->format("%d"),
"hour" => $diff->format("%h"),
"minute" => $diff->format("%i"),
"second" => $diff->format("%s"),
];
$out = "just now...";
foreach ($units as $unit => $amount) {
if (empty($amount)) {
continue;
}
$out = $amount . " " . ($amount == 1 ? $unit : $unit . "s") . " ago";
break;
}
return $out;
}
function contributors($setup) {
if (!isset($_GET["contributors"])
|| !isset($setup["history"]["contributors"])
|| count($setup["history"]["contributors"]) < 1) {
return;
}
$contributorList = "Output Buffering Control
The following have authored commits that contributed to this page:-
$contributorList