https://bugzilla.wikimedia.org/show_bug.cgi?id=72504
John Mark Vandenberg jayvdb@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Summary|redirect.py not usable on |redirect.py depends on not |1.19.3 |extension:WikiEditor being | |installed