https://bugzilla.wikimedia.org/show_bug.cgi?id=56774
Bug 56774 depends on bug 56873, which changed state.
Bug 56873 Summary: Category.isCategoryRedirect() does not work on wikis without category redirect template defined in family file https://bugzilla.wikimedia.org/show_bug.cgi?id=56873
What |Removed |Added ---------------------------------------------------------------------------- Status|PATCH_TO_REVIEW |RESOLVED Resolution|--- |FIXED