repo.or.cz
/
mediawiki.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
(bug 17640) Mention where the sitemap goes if we don't explicitly specify. Patch...
[mediawiki.git]
/
maintenance
/
dumpHTML.php
blob
bd94958eb6ad0a77b21cccc04d18ad250117f144
1
dumpHTML has moved to the DumpHTML extension
.
2
3
WebDAV
/
SVN
:
4
http
:
//svn.wikimedia.org/svnroot/mediawiki/trunk/extensions/DumpHTML/
5
6
Web
:
7
http
:
//svn.wikimedia.org/viewvc/mediawiki/trunk/extensions/DumpHTML/
