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(a)svn.wikimedia.org>rg>:
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_
--
Nicolas Dumazet — NicDumZ [ nɪk.d̪ymz ]