Fix and update SpecialUserlogin.php patch so core still works without the extension installed.

Change-Id: I33093ae33f8b9213cd557e5434ba12242a1f068c