dépôts
/
lhc
/
web
/
wiklou.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge "Remove rcenhancedfilters from $wgDefaultUserOptions"
[lhc/web/wiklou.git]
/
resources
/
lib
/
ooui
/
themes
/
wikimediaui
/
images
/
icons
/
articleNotFound-ltr-invert.svg
2019-05-08
jenkins-bot
Merge "Remove rcenhancedfilters from $wgDefaultUserOptions"
blob
|
commitdiff
|
raw
2019-05-08
jenkins-bot
Merge "Corrected grammatical error."
blob
|
commitdiff
|
raw
2019-05-08
jenkins-bot
Merge "WebRequest: Change getFullRequestURL() to use...
blob
|
commitdiff
|
raw
2019-05-08
jenkins-bot
Merge "FauxRequest: Remove influence from $wgRequest...
blob
|
commitdiff
|
raw
2019-05-08
jenkins-bot
Merge "Update special page aliases for Serbian"
blob
|
commitdiff
|
raw
2019-05-08
jenkins-bot
Merge "Remove parameter 'options' from hook 'SkinEditSe...
blob
|
commitdiff
|
raw
2019-05-08
jenkins-bot
Merge "HTML escape parameter 'text' of hook 'SkinEditSe...
blob
|
commitdiff
|
raw
2019-05-08
jenkins-bot
Merge "Revision history: Use `padding` for same rendering"
blob
|
commitdiff
|
raw
2019-05-08
Volker E
Update OOUI to v0.31.6
blob
|
commitdiff
|
raw