Extension:Wget Authentication

What can this extension do?
This allows you to securely exec a wget url within mediawiki to authenticate your users (by way of HTTP authentication, as you've probably guessed). Once the username and password are received, this extension creates a pipe between php and a fork'd wget and proceeds to retreive a URL to the effect of: https://username:password@yourwebserver.com. Once wget returns, the extension will check wget's exit code and return success only if the code is zero.

Installation
First edit the file extensions/WgetAuthentication.php and paste the code that you see below.

To install this extension, add the following to LocalSettings.php:

Configuration parameters
Now, add the following configuration parameters to your LocalSettings.php file....