Last modified: 2014-07-24 20:16:44 UTC
In page.py we have a function "isCategoryRedirect": def isCategoryRedirect(self): """Return True if this is a category redirect page, False otherwise.""" This is rather slow. Maybe some caching should be used.