Hi
A patch to correct [ 980312 ] Table markup eats initial attribute. As attacment the diff (Parser.php) That's my first patch, I hope it will solve the problem correctly :)
Emmanuel Engelhart
Emmanuel Engelhart wrote:
A patch to correct [ 980312 ] Table markup eats initial attribute.
Thanks. I've checked in your change. Apparently the programmer thought that people would always put a space after the "{|", and personally, I'd prefer if you did for readability :)
In future, please use diff -u to create patches. Thanks!
Timwi
Timwi wrote:
Emmanuel Engelhart wrote:
A patch to correct [ 980312 ] Table markup eats initial attribute.
Thanks. I've checked in your change. Apparently the programmer thought that people would always put a space after the "{|", and personally, I'd prefer if you did for readability :)
I vaguely remember that there was a reason for it; probably compensating for a bug elsewhere that is now fixed :-)
Magnus
wikitech-l@lists.wikimedia.org