jenkins-bot has submitted this change and it was merged.
Change subject: Update class ref
......................................................................
Update class ref
Change-Id: I5e7228f8fa94cc1f52ff9b65e71f67db814cca9c
---
M lib/includes/changes/DiffChange.php
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
WikidataJenkins: Verified
Thiemo Mättig (WMDE): Looks good to me, approved
jenkins-bot: Verified
diff --git a/lib/includes/changes/DiffChange.php
b/lib/includes/changes/DiffChange.php
index bafc554..b603516 100644
--- a/lib/includes/changes/DiffChange.php
+++ b/lib/includes/changes/DiffChange.php
@@ -3,6 +3,7 @@
namespace Wikibase;
use Diff\DiffOp\Diff\Diff;
+use Diff\DiffOp\DiffOp;
/**
* Class for changes that can be represented as a Diff.
@@ -109,7 +110,7 @@
* @return string
*/
public function serializeInfo( array $info ) {
- if ( isset( $info['diff'] ) && $info['diff'] instanceof
\Diff\DiffOp ) {
+ if ( isset( $info['diff'] ) && $info['diff'] instanceof DiffOp
) {
if ( Settings::get( "changesAsJson" ) === true ) {
/* @var \Diff\DiffOp $op */
$op = $info['diff'];
--
To view, visit https://gerrit.wikimedia.org/r/149241
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5e7228f8fa94cc1f52ff9b65e71f67db814cca9c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jeroen De Dauw <[email protected]>
Gerrit-Reviewer: Thiemo Mättig (WMDE) <[email protected]>
Gerrit-Reviewer: WikidataJenkins <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
