[MediaWiki-commits] [Gerrit] mediawiki...BlueSpicePageVersion[master]: Use namespaced version of ResultWrapper
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/402158 ) Change subject: Use namespaced version of ResultWrapper .. Use namespaced version of ResultWrapper Change-Id: If1fdb8c21b13404d8fdf6888d05c122c2899c48a --- M src/Hook/PageHistoryLineEnding.php 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: jenkins-bot: Verified Thiemo Kreuz (WMDE): Looks good to me, approved diff --git a/src/Hook/PageHistoryLineEnding.php b/src/Hook/PageHistoryLineEnding.php index c0dcd72..1c5d7ba 100644 --- a/src/Hook/PageHistoryLineEnding.php +++ b/src/Hook/PageHistoryLineEnding.php @@ -16,7 +16,7 @@ /** * * @param \HistoryPager $history -* @param \ResultWrapper $row +* @param \Wikimedia\Rdbms\ResultWrapper $row * @param string $s * @param array $classes * @return boolean -- To view, visit https://gerrit.wikimedia.org/r/402158 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If1fdb8c21b13404d8fdf6888d05c122c2899c48a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/BlueSpicePageVersion Gerrit-Branch: master Gerrit-Owner: Umherirrender Gerrit-Reviewer: Ljonka Gerrit-Reviewer: Mglaser Gerrit-Reviewer: Pwirth Gerrit-Reviewer: Robert Vogel Gerrit-Reviewer: Thiemo Kreuz (WMDE) Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...BlueSpicePageVersion[master]: Use namespaced version of ResultWrapper
Umherirrender has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/402158 ) Change subject: Use namespaced version of ResultWrapper .. Use namespaced version of ResultWrapper Change-Id: If1fdb8c21b13404d8fdf6888d05c122c2899c48a --- M src/Hook/PageHistoryLineEnding.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/BlueSpicePageVersion refs/changes/58/402158/1 diff --git a/src/Hook/PageHistoryLineEnding.php b/src/Hook/PageHistoryLineEnding.php index c0dcd72..1c5d7ba 100644 --- a/src/Hook/PageHistoryLineEnding.php +++ b/src/Hook/PageHistoryLineEnding.php @@ -16,7 +16,7 @@ /** * * @param \HistoryPager $history -* @param \ResultWrapper $row +* @param \Wikimedia\Rdbms\ResultWrapper $row * @param string $s * @param array $classes * @return boolean -- To view, visit https://gerrit.wikimedia.org/r/402158 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If1fdb8c21b13404d8fdf6888d05c122c2899c48a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/BlueSpicePageVersion Gerrit-Branch: master Gerrit-Owner: Umherirrender ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits