php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #48264 No style for HTML version of php docs
Submitted: 2009-05-13 18:37 UTC Modified: 2009-09-17 18:36 UTC
From: rickywalt1 at msn dot com Assigned:
Status: Closed Package: Doc Build problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: rickywalt1 at msn dot com
New email:
PHP Version: OS:

 

 [2009-05-13 18:37 UTC] rickywalt1 at msn dot com
Description:
------------
I regularly download the (many files) HTML version of the PHP documentation for use on my own server.  I would like to apply a simple style sheet to all 8000 some odd pages.  The only way to do this at present is to add a Greasemonkey script to Firefox.

Adding a stylesheet link in the head of the page (template?) would make this a lot easier.  Something like this maybe:

<link rel="stylesheet" type="text/css" href="php_user.css">


Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2009-05-13 18:59 UTC] bjori@php.net
Reclassified as PhD issue.
 [2009-09-17 14:00 UTC] svn@php.net
Automatic comment from SVN on behalf of moacir
Revision: http://svn.php.net/viewvc/?view=revision&revision=288407
Log: Adding the --css option
- Fixing bugs #47406 and #48264
- For chunked formats the css files will be copied in outputdir/format/styles/ and linked with <link>
- For non chunked formats the css will be written with <style>
 [2009-09-17 18:36 UTC] moacir@php.net
fixed with the --css option
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Fri Mar 29 09:01:28 2024 UTC