|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Request #70191 Offline documentation misses stylesheet
Submitted: 2015-08-04 09:58 UTC Modified: 2015-08-07 23:42 UTC
Avg. Score:1.0 ± 0.0
Reproduced:0 of 1 (0.0%)
From: wk at xn--wolfgang-khler-4pb dot de Assigned:
Status: Verified Package: Doc Build problem
PHP Version: Irrelevant OS: irrelevant
Private report: No CVE-ID: None
Have you experienced this issue?
Rate the importance of this bug to you:

 [2015-08-04 09:58 UTC] wk at xn--wolfgang-khler-4pb dot de
I downloaded the PHP documentation today and yesterday (English, German, HTML one file, HTML many files).

In the html files, certain class names are referenced. However, no stylesheet is referenced in the <header>-section.

There should be a stylesheet referenced in the header-section, even if this stylesheet is empty. This allows to format and customize the layout of the manual easily.


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2015-08-07 23:39 UTC]
-Status: Open +Status: Verified -Package: Documentation problem +Package: Doc Build problem
 [2015-08-07 23:40 UTC]
-Type: Documentation Problem +Type: Bug
 [2015-08-07 23:42 UTC]
-Type: Bug +Type: Feature/Change Request
 [2015-08-07 23:42 UTC]
Well, on further consideration this is not necessarily a bug, but rather a feature request.
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Sun Apr 21 13:01:27 2024 UTC