Jakob has asked me to write a tiny script, which can be called from the commandline to add (or to prepend) an arbitrary text to a wiki page. The script is for mediawiki 1.3.11 (which uses wpEditToken instead of wpEdittime to detect edit collisions)

Usage: php editpage.php "Pagename" "A new text, created by ~~~~" "edit summary, optional"

Code on request Tom