Thread:Extension talk:LDAP Authentication/Is $wgLDAPPort actually implemented?

I noticed that setting $wgLDAPPort doesn't seem to do anything – I can set the LDAP server port by appending it after a ":" in $wgLDAPServerNames, but setting $wgLDAPPort has no effect. In fact, $wgLDAPPort doesn't seem to appear in LdapAuthentication.php at all!