dépôts / lhc / web / wiklou.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge "HISTORY: Add MediaWiki 1.12 post-release change notes"
[lhc/web/wiklou.git] / .phan / internal_stubs /
2019-03-25 jenkins-botMerge "HISTORY: Add MediaWiki 1.12 post-release change... tree | commitdiff
2019-03-25 jenkins-botMerge "HISTORY: Add MediaWiki 1.11 post-release change... tree | commitdiff
2019-03-25 jenkins-botMerge "DefaultSettings: Remove deprecated $wgDBmysql5... tree | commitdiff
2019-03-25 jenkins-botMerge "Add filterFunction to visible{Byte,CodePoint... tree | commitdiff
2019-03-25 jenkins-botMerge "docs: Update outdated PageContentSave hook docum... tree | commitdiff
2019-03-25 jenkins-botMerge "upload: Simplify file extension extraction in... tree | commitdiff
2019-03-24 jenkins-botMerge "Upgrade to newer phan" tree | commitdiff
2019-03-24 Kunal MehtaUpgrade to newer phan tree | commitdiff
Wiklou, le Wiki du Wiklou