mirror of
https://github.com/boostorg/website.git
synced 2026-01-19 04:42:17 +00:00
18 lines
398 B
PHP
18 lines
398 B
PHP
<?php
|
|
|
|
if (strpos($_SERVER['REQUEST_URI'], '//') !== FALSE)
|
|
{
|
|
header("Location: http://$_SERVER[HTTP_HOST]".
|
|
preg_replace('@//+@','/', $_SERVER['REQUEST_URI']),
|
|
TRUE, 301);
|
|
exit(0);
|
|
}
|
|
|
|
require_once(dirname(__FILE__) . '/../common/code/bootstrap.php');
|
|
|
|
BoostDocumentation::extra_documentation_page()->display_from_archive(
|
|
array(
|
|
array('', '@[.](html|htm)$@i','basic','text/html')
|
|
)
|
|
);
|