https://bugzilla.wikimedia.org/show_bug.cgi?id=55095
Ricordisamoa ricordisamoa@openmailbox.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |ricordisamoa@openmailbox.or | |g Resolution|--- |FIXED
--- Comment #1 from Ricordisamoa ricordisamoa@openmailbox.org --- https://www.mediawiki.org/wiki/Special:Code/pywikipedia/5817#28 already used Page.isDisambig(), but searched the page templates for 'Category redirect' or 'Seecat'. https://www.mediawiki.org/wiki/Special:Code/pywikipedia/8530#254 introduced Page.isCategoryRedirect(), that uses site.category_redirects().
Both changes were already in place when the script was ported to core in 2013.