Extension:Pingbox

The pingbox extension is a MediaWiki extension by Brice Vandeputte to get the result of a ping command into a wiki page. It was originally created for the purpose of checking server state in a private company. It requires MediaWiki 1.5 and an extensions script (see Installation below).

General syntax
Pingboxes are constructed like this:

host=hostname_to_ping (mandatory) defaultok=You ping it (default:"OK") defaultko=No answer (default:"KO") labelinfo=-info- (default:"(?)")

The host parameter is mandatory. All other parameters are optional (they've a default value.

The aim is to ping the host  (your MediaWiki server must be able to ping to use this extension)

Parameters

 * host : hostname to ping
 * defaultok : label used to say that the ping is a success
 * defaultko : label used to say that the ping failed
 * labelinfo : (optional) label used to create unused link after defaultok or defaultko with result of the ping command in "title" attribute.

Installation
NOTE: Make sure that it is still above the closing php tag so that it looks like this:
 * 1) Copy and save the file  into the extensions folder of your MediaWiki installation.
 * 2) Open and edit the LocalSettings.php file by adding the following line near the bottom: