dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
699a4f9
)
MediaWiki :-)
author
Arne Heizmann
<timwi@users.mediawiki.org>
Sat, 4 Sep 2004 02:20:34 +0000
(
02:20
+0000)
committer
Arne Heizmann
<timwi@users.mediawiki.org>
Sat, 4 Sep 2004 02:20:34 +0000
(
02:20
+0000)
maintenance/mwdocgen.php
patch
|
blob
|
history
diff --git
a/maintenance/mwdocgen.php
b/maintenance/mwdocgen.php
index
e4089fe
..
73cd923
100755
(executable)
--- 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\' ';
-/** Media
w
iki location */
+/** Media
W
iki 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]:" );