repo.or.cz
/
mediawiki.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
fix longstanding bug with section editing where section headers within
2003-05-23
Erik Moe
l
le
r
a
dded
$wgDBuser line
commit
|
commitdiff
|
tree
2003-05-23
Erik M
o
eller
M
ake index use explic
i
t so that I
n
noDB d
o
esn't use
.
.
.
commit
|
commitdiff
|
tree
2003-05-23
Erik Mo
e
ller
c
hanged KEY to I
N
D
EX
commit
|
commitdiff
|
tree
2003-05-23
Erik Moell
e
r
ne
w
index for
o
l
dest_articles
commit
|
commitdiff
|
tree
2003-05-23
Er
i
k Moeller
Patch fo
r
spee
d
ing u
p
"O
l
de
s
t article
s
" speci
a
l
page
.
commit
|
commitdiff
|
tree
2003-05-23
Erik Moeller
Del
e
tion featur
e
i
m
proved:
commit
|
commitdiff
|
tree
2003-05-20
Eri
k
M
oeller
replaced WIKI-ISBN with
M
AGI
C
NUMBER as replac
e
men
t
.
.
.
commit
|
commitdiff
|
tree
2003-05-20
Erik Moeller
N
ew fe
a
ture
(
sp
e
cial pa
g
e): Ancient pages: list
oldes
t
.
.
.
commit
|
commitdiff
|
tree
2003-05-19
Erik Moeller
m
inor layo
u
t fixes:
commit
|
commitdiff
|
tree
2003-05-19
Erik Mo
e
l
l
er
Support for [[Wikipedia
:
Book sourc
e
s]]
(o
r
localized
.
.
.
commit
|
commitdiff
|
tree
2003-05-19
Erik Moeller
experimental
file cache now creates h
a
sh director
i
e
s
.
.
.
commit
|
commitdiff
|
tree