From 0bad506855d49e164ddefe994044d6b3e867bc8e Mon Sep 17 00:00:00 2001 From: Arne Heizmann Date: Sat, 4 Sep 2004 02:20:34 +0000 Subject: [PATCH] MediaWiki :-) --- maintenance/mwdocgen.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/maintenance/mwdocgen.php b/maintenance/mwdocgen.php index e4089fe527..73cd923017 100755 --- a/maintenance/mwdocgen.php +++ b/maintenance/mwdocgen.php @@ -53,7 +53,7 @@ $pdOthers = ''; //$pdOthers = ' -dn \'MediaWiki\' '; $pdOthers .= ' --title \'MediaWiki generated documentation\' -o \'HTML:frames:DOM/earthli\' '; -/** Mediawiki location */ +/** MediaWiki location */ #$mwPath = '/var/www/mediawiki/'; $mwPath = "{$here}{$sep}"; @@ -97,7 +97,7 @@ Several documentation possibilities: 3 : only skins 4 : only a given file END; - + while ( !is_numeric($input) ) { $input = readaline( "\nEnter your choice [0]:" ); -- 2.20.1