With my new checkin permission, I went to work happy as a clam.
I added a README file and the GPL license in COPYING.
The file wikiTextEn.php uses the $THESCRIPT variable, and it therefore
has to be included at the end of wikiSettings.php, after
wikiLocalSettings.php has been read. I made a new variable
$wikiLanguage which can be set in wikiLocalSettings and which
determines which wikiText file is included later.
Axel