Re: #45053 [NEW]: lowercased urls from all ids
| From: | Hannes Magnusson | Date: | Fri, 23 May 2008 07:20:01 +0000 |
| Subject: | Re: #45053 [NEW]: lowercased urls from all ids | ||
| References: | 1 2 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969378914@lists.php.net to get a copy of this message | ||
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..
-Hannes