First version running in mediawiki

[jamesmi...@googlemail.com]

This new plugin, push to git, pushes all edits to git.

here is the plugin :
http://mediawikivcs.indefero.net/p/mediawiki/source/tree/master/var/lib/mediawiki/extensions/VCS/SendToGIT.php

Here is the article that I have running on my local wiki,
http://mediawikivcs.indefero.net/p/SpecWiki/source/tree/master/MediaWikiVCS/article.txt

it is synched to the web like this :
git pull /usr/share/mediawiki/VCS/Git/MediaWikiVCS/.git/ master
git push origin master

Installed like this :
# including of the VCS hooks
require_once("$IP/extensions/VCS/SendToGIT.php");

error_reporting(E_ALL);
ini_set("display_errors", 1);

$wgDebugLogGroups = array(
'SendToGit' => '/tmp/SendToGit.log',
);