Thread:Extension talk:Password Reset/Broken by trunk version of mediawiki 1.19?/reply (4)

Just for public record, issue was already discussed with SPQRobin: While it is correct that the extension is no longer working, this leaves many users without an option to upgrade to 1.18, since the functionality of the extension (admins reset passwords for internal wikis where no email is known, either because not necessary internally, or because authentication methods like OpenID are used) is not covered by the core functionality. See https://bugzilla.wikimedia.org/show_bug.cgi?id=30636. Should the notice box be different? It is not obsolete in the sense of "no longer needed", but obsolete in the sense "needed, but made impossible to function".