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 grab the code like this.

Or you can 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....