Merge "Rename Block to MediaWiki\Block\DatabaseBlock"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 28 May 2019 22:43:51 +0000 (22:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 28 May 2019 22:43:51 +0000 (22:43 +0000)
commitf01c8c59fd6387aac1e331fe4ba23604e7e94737
treeae80bba4e22d7473acf8f3bd4fcb9efb914e4c2d
parentcb1f3f90dd02b74166c863204bc7c3b987283a82
parente65a5b58821873fdfdd15a4de6c1590fbea9a5fd
Merge "Rename Block to MediaWiki\Block\DatabaseBlock"
RELEASE-NOTES-1.34
includes/EditPage.php