Merge "Rename Block to MediaWiki\Block\DatabaseBlock"
[lhc/web/wiklou.git] / includes / block / DatabaseBlock.php
2019-05-28 jenkins-botMerge "Rename Block to MediaWiki\Block\DatabaseBlock"
2019-05-28 ThaliaRename Block to MediaWiki\Block\DatabaseBlock