https://bugzilla.wikimedia.org/show_bug.cgi?id=27637
--- Comment #6 from ThomasV <thoma...@gmx.de> 2011-02-23 17:58:57 UTC --- I just dicussed with ankry on IRC. Apparently there was a bug in the software, that caused whitespace not to be added when pages are numbered manually. I was not aware of it. On other wikisources, manual numbering of pages is almost never used in conjunction with <pages/>, so this bug went unnoticed. I do not think that we should revert to the former behaviour; it does not make sense to keep incompatibilities. in addition, it is cumbersome to add   at the end of all pages. pl.ws is a small wiki. we can fix it with a robot. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
