Pages with a <link rel="mw:PageProp/redirect" href="./Category:Foo"> but without a <link rel="mw:WikiLink/Category" href="./Category:Foo"> should be serialised to [[:Category:Foo]] per the spec, but instead are becoming [[Category:Foo]] which (a) is wrong and (b) doesn't round-trip.
Original VE complaint:
The VE's Page Settings dialog redirect options work badly for category destinations.
For example, if you choose 'Category:Article stubs' as your destination, it inserts this:
#REDIRECT [[Category:Article stubs]]
While this does redirect the page, it also places that page in the "Article stubs" category.
It *should* put this on the page:
#REDIRECT [[:Category:Article stubs]]
Note the additional ":" - this prevents the category being interpreted wrongly.
https://www.mediawiki.org/w/index.php?title=VisualEditor:Redirecttest&action=history
Version: unspecified
Severity: minor
OS: Mac OS X 10.9
Platform: Macintosh