Lines Matching refs:page
10 The $PGI global variable is used to store all page related
30 * Print out all user notes for this manual page
50 // Link target to add a note to the current manual page,
151 …<a href="/manual/vote-note.php?id={$note->id}&page={$rredir_filename}&vote=up" title="Vote…
154 …<a href="/manual/vote-note.php?id={$note->id}&page={$rredir_filename}&vote=down" title="Vo…
215 // The index manual page has no parent..
236 // The index manual page has no parent..
271 // Set up variables important for this page
283 // Set base href for this manual page
294 // Load user note for this page
334 <div class="page-tools">
364 <select onchange="document.changelang.submit()" name="page" id="changelang-langs">
419 …<a href="https://github.com/php/doc-{$repo}/issues/new?body=From%20manual%20page:%20https:%2F%2Fph…
465 The following have authored commits that contributed to this page:
