Page MenuHomePhabricator

MediaWiki:Comma-separator should be &#x20 (or &#32) instead of &#20
Closed, ResolvedPublic

Description

patch to change #20 to #x20 in 'comma-separator'

The message 'comma-separator' in the English message file is supposed to be a comma and a white-space. Currently the message is ',', but whitespace is #x20 (using hexadecimal) or #32 (using decimal), not #20. So the message should be changed to ', ' or ', '.


Version: 1.12.x
Severity: minor

Attached:

Details

Reference
bz12407

Event Timeline

bzimport raised the priority of this task from to Medium.Nov 21 2014, 10:01 PM
bzimport set Reference to bz12407.
bzimport added a subscriber: Unknown Object (MLST).

That's what have already been done in r28735.

No, I think r28735 was supposed to add ' ', but there was a mistake and '' (without the x) is used.  is a control character and is not displayed as a whitespace. The bug can be seen in the list of filetypes at Special:Upload.

Oh, I see. I've also seen it yesterday and thought I committed the fix :) Fixed in r28836