php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

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 Developer Edit
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If you forgot your password, you can retrieve your password here.
Password:
Status:
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

Pull Requests

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: Thu Nov 21 12:01:29 2024 UTC