$title

Description: Replace non-free stylesheets The css files defining the documentation pages layout are fetched from php.net during build time. These css files are not licensed under a free license and are replaced here by a modification of the debian.css file provided by the Debian's maint-guide package. Author: Athos Ribeiro Bug: https://github.com/php/web-php/issues/711 Forwarded: not-needed Last-Update: 2022-10-05 --- This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ --- a/phd/phpdotnet/phd/Package/PHP/ChunkedXHTML.php +++ b/phd/phpdotnet/phd/Package/PHP/ChunkedXHTML.php @@ -29,7 +29,7 @@ $title {$cssLinks} - + HEADER; $nextLink = $prevLink = $upLink = ''; if ($prevId = Format::getPrevious($id)) { @@ -57,23 +57,29 @@ } $nav = <<

- +

+ + + + + + + + + + + + +

{$title}
{$prevLink}		{$nextLink}
+ + PHP Manual + {$upLink} + {$title} + +

PHP Manual
{$title}

NAV; $header .= $nav; return $header; @@ -81,6 +87,6 @@ public function footer($id) { - return '

'; + return '

'; } } --- a/phd/phpdotnet/phd/Package/PHP/XHTML.php +++ b/phd/phpdotnet/phd/Package/PHP/XHTML.php @@ -220,8 +220,7 @@ if ($this->config->css() === []) { $this->config->setCss(array( - "http://www.php.net/styles/theme-base.css", - "http://www.php.net/styles/theme-medium.css", + "debian/debian.css", )); } }