php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #56035 PATCH: put spaces between language links
Submitted: 2004-04-15 15:18 UTC Modified: 2004-04-16 07:32 UTC
From: danielc at analysisandsolutions dot com Assigned: mj (profile)
Status: Closed Package: PECL website (PECL)
PHP Version: Irrelevant OS: Irrelevant
Private report: No CVE-ID: None
 [2004-04-15 15:18 UTC] danielc at analysisandsolutions dot com
Description:
------------
The spacing between the manual's language links have " | ".  When we get more languages, which is happening, the bar will be come too wide.  This patch changes the binder to " | ".

http://www.analysisandsolutions.com/pear/include.manual.lang.diff

Thanks.


Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2004-04-15 16:44 UTC] helgi at trance dot is
why am I not understanding you completely ?   = space ... " | " = 2 spaces " | " = 2 spaces

+ delim() only takes color value. At least accourding to my local copy of pearweb :)
 [2004-04-15 16:57 UTC] danielc at analysisandsolutions dot com
>   = space ... " | " = " | "

A regular space allows line breaks.    means non-breaking.  Thus, no line breaks.


> delim() only takes color value.

Oh, you're right.  I misremembered what delim() does.  Altering it to allow a second argument named $delimiter (or something similar) to suit this purpose would be a good idea.

Thanks.
 [2004-04-15 17:09 UTC] helgi at trance dot is
yeah, something like delim($color = null, $delimiter = ' | ') 
 [2004-04-15 17:18 UTC] danielc at analysisandsolutions dot com
I've updated the patch accordingly.
 [2004-04-16 07:32 UTC] mj@php.net
This bug has been fixed in CVS.

In case this was a documentation problem, the fix will show up at the
end of next Sunday (CET) on pear.php.net.

In case this was a pear.php.net website problem, the change will show
up on the website in short time.
 
Thank you for the report, and for helping us make PEAR better.


 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Fri Mar 29 08:01:27 2024 UTC