Bug#890127: phpldapadmin: phpLDAPadmin uses features that are deprecated in PHP 7.2

[Timo van Roermund]

Thanks, Luciano! 

Those patches works fine, indeed. 

Cheers, 

Timo