for the "is published" field... // // // Include necessary headers... // include_once "globals.php"; include_once "auth.php"; // Check for a logout on the command-line... if ($argc == 1 && $argv[0] == "logout") { auth_logout(); $argc = 0; } // Search keywords... $html_keywords = array( "documentation", "functions", "library", "linux", "macos x", "mini-xml", "mxml", "mxmldoc", "software", "unix", "windows", "xml" ); // Figure out the base path... $html_path = dirname($PHP_SELF); if (array_key_exists("PATH_INFO", $_SERVER)) { $i = -1; while (($i = strpos($_SERVER["PATH_INFO"], "/", $i + 1)) !== FALSE) $html_path = dirname($html_path); } if ($html_path == "/") $html_path = ""; // // 'html_header()' - Show the standard page header and navbar... // function // O - User information html_header($title = "", // I - Additional document title $refresh = "") // I - Refresh URL { global $html_keywords, $html_path, $_GET, $LOGIN_USER, $PHP_SELF, $_SERVER; // Common stuff... // header("Cache-Control: no-cache"); print("\n"); print("\n"); print("
\n"); // Title... if ($title != "") $html_title = "$title -"; else $html_title = ""; print("![]() | "
.""); if ($LOGIN_USER) print("$LOGIN_USER"); else print("Login"); print(" | " ."Home | " ."Bugs & Features | " ."Documentation | " ."Download | " ."Forums | " ."" ." | " ."
"); } // // 'html_footer()' - Show the standard footer for a page. // function html_footer() { print(" | " ."Copyright 2003-2008 by Michael Sweet. This library is free " ."software; you can redistribute it and/or modify it " ."under the terms of the GNU Library General Public " ."License as published by the Free Software Foundation; " ."either version 2 of the License, or (at your option) " ."any later version. | \n" ."
"); else print("
"); } // // 'html_end_links()' - End of series of hyperlinks. // function html_end_links() { print("
\n"); } // // 'html_link()' - Show a single hyperlink. // function html_link($text, // I - Text for hyperlink $link) // I - URL for hyperlink { global $html_firstlink; if ($html_firstlink) $html_firstlink = 0; else print(" · "); $safetext = str_replace(" ", " ", $text); print("$safetext"); } // // 'html_links()' - Show an array of links. // function html_links($links) // I - Associated array of hyperlinks { reset($links); while (list($key, $val) = each($links)) html_link($key, $val); } // // 'html_start_table()' - Start a rounded, shaded table. // function html_start_table($headings, // I - Array of heading strings $width = "100%", // I - Width of table $height = "") // I - Height of table { global $html_row; print("$s_header | "); else print(""); } print(" |
---|