And yes, the new IsRedirectPage does not provide anymore in the Error message "the redirect target is ... ".
There are probably cons in doing this. But as I argued in the next commit, I dont't think that we always need to know what the redirect target is; and since that if we want to retrieve cleanly the redirect target (no wikitext parsing !!), an additional API query is needed, I'm saying: "users will call Page.getRedirectTarget if they need to know the redirect target ".
=)
2009/3/2 nicdumz@svn.wikimedia.org:
Revision: 6461 Author: nicdumz Date: 2009-03-02 07:00:46 +0000 (Mon, 02 Mar 2009)
Log Message:
Introducing a PageRelatedError abstract class, to use class level messages to have simpler Error creations, and unified Error message. For now only NoPage, IsRedirectPage, and IsNotRedirectPage are subclasses of that abstract Error: others could too, I'm just converting the Errors that we will keep _for sure_