mirror of
https://github.com/boostorg/website.git
synced 2026-01-26 19:12:15 +00:00
d8c89f8c9a
Remove a little duplication and makes it easier to see how the class is actually used. Would normally be stored in a separate file, but I didn't really want to create one.
18 lines
393 B
PHP
18 lines
393 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()->display_from_archive(
|
|
array(
|
|
array('', '@[.](html|htm)$@i','basic','text/html')
|
|
)
|
|
);
|