Merge "DefaultSettings: Remove deprecated $wgDBmysql5 from core"
[lhc/web/wiklou.git] / .phan / stubs / excimer.php
2019-03-25 jenkins-botMerge "DefaultSettings: Remove deprecated $wgDBmysql5...
2019-03-25 jenkins-botMerge "Add filterFunction to visible{Byte,CodePoint...
2019-03-25 jenkins-botMerge "docs: Update outdated PageContentSave hook docum...
2019-03-25 jenkins-botMerge "upload: Simplify file extension extraction in...
2019-03-24 jenkins-botMerge "Upgrade to newer phan"
2019-03-24 Kunal MehtaUpgrade to newer phan