Re: Re: #45053 [NEW]: lowercased urls from all ids

From: Date: Sat, 24 May 2008 01:17:16 +0000
Subject: Re: Re: #45053 [NEW]: lowercased urls from all ids
References: 1 2 3  Groups: php.doc 
Request: Send a blank email to phpdoc+get-969378921@lists.php.net to get a copy of this message
On 23 May 2008, at 00:20, Hannes Magnusson wrote:
On Wed, May 21, 2008 at 8:01 PM, Hannes Magnusson <hannes.magnusson@gmail.com> wrote:
On Wed, May 21, 2008 at 1:03 AM, philip@php.net <doc-bugs@lists.php.net
wrote:
From:             philip@php.net
Operating system: Mac
PHP version:      Irrelevant
PHP Bug Type:     Doc Build problem
Bug description: lowercased urls from all ids Description: ------------ We used to have all lowercase urls, despite what the xml:id was. This might be worth some discussion but I think we should go back to having all lowercased urls.
I think it is important that we fix the markup rather then breaking all possible standards more. Besides, it is easier to fix the markup than it would be to hack this into PhD (not to mention it would make PhD much slower).
So... are there any objections to lowercasing all xml:ids? It will obviously break some URLs again though, but hopefully for the last time..
This is probably for the best but lately I've been in a scared "avoid outdating translations at all costs" mode. In other words, let's fix the ids once and for all. Regards, Philip

« previous php.doc (#969378921) next »