2
0
mirror of https://github.com/boostorg/website.git synced 2026-01-25 18:52:30 +00:00
Files
website/common/code/boost_wiki.php
Rene Rivera eb15576a0c *** empty log message ***
[SVN r77]
2006-02-20 03:56:48 +00:00

131 lines
3.4 KiB
PHP

<?php
/*
Copyright 2005-2006 Redshift Software, Inc.
Distributed under the Boost Software License, Version 1.0.
(See accompanying file LICENSE_1_0.txt or http://www.boost.org/LICENSE_1_0.txt)
*/
class boost_wiki
{
var $head_content_ = NULL;
var $content_ = NULL;
function boost_wiki($uri)
{
if (isset($_SERVER["PATH_INFO"]) && $_SERVER["PATH_INFO"] != '/')
{
$uri .= '?'.substr($_SERVER["PATH_INFO"],1);
}
$this->content_ = file_get_contents($uri);
if ($this->content_ && $this->content_ != '')
{
$this->_init_html();
}
$this->head_content_ = <<<HTML
<!-- WIKI URI == '${uri}' -->
HTML
;
}
function content_head()
{
print $this->head_content_;
}
function content()
{
if ($this->content_ && $this->content_ != '')
{
$this->_content_html();
}
}
function _init_html()
{
preg_match('@text/html; charset=([^\s"]+)@i',$this->content_,$charset);
if (isset($charset[1]))
{
$this->head_content_ .= <<<HTML
<meta http-equiv="Content-Type" content="text/html; charset=${charset[1]}" />
HTML
;
}
else
{
$this->head_content_ .= <<<HTML
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii" />
HTML
;
}
preg_match('@<title>([^<]+)</title>@i',$this->content_,$title);
if (isset($title[1]))
{
$this->head_content_ .= <<<HTML
<title>Boost C++ Libraries - ${title[1]}</title>
HTML
;
}
else
{
$this->head_content_ .= <<<HTML
<title>Boost C++ Libraries - Wiki</title>
HTML
;
}
}
function _content_html()
{
$text = $this->content_;
$text = preg_replace(
'@href="?http://www.boost.org/?([^"\s]*)"?@i',
'href="/${1}"',
$text );
$text = preg_replace(
'@href="?(?:\.\./)+people/(.*\.htm)"?@i',
'href="/users/people/${1}l"',
$text );
$text = preg_replace(
'@href="?(?:\.\./)+(LICENSE_.*\.txt)"?@i',
'href="/${1}"',
$text );
$text = preg_replace(
'@<a\s+(class="[^"]+")?\s*href="?(http|mailto)(:[^"\s]*)"?@i',
'<a class="external" href="${2}${3}"',
$text );
$text = preg_replace(
'@href="?wiki.pl[?]((?:action|search)=[^"\s]*)"?@i',
'href="/doc/wiki/?${1}"',
$text );
$text = preg_replace(
'@href="?wiki.pl[?]?([^"\s]*)"?@i',
'href="/doc/wiki/${1}"',
$text );
preg_match('@<body[^>]*>@i',$text,$body_begin,PREG_OFFSET_CAPTURE);
preg_match('@</body>@i',$text,$body_end,PREG_OFFSET_CAPTURE);
if (!isset($body_begin[0]))
{
return;
}
else if (!isset($body_end[0]))
{
$text = substr($text,
$body_begin[0][1]+strlen($body_begin[0][0]));
}
else
{
$text = substr($text,
$body_begin[0][1]+strlen($body_begin[0][0]),
$body_end[0][1]-($body_begin[0][1]+strlen($body_begin[0][0])) );
}
print $text;
}
}
?>