AndyRussG has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/97026


Change subject: Update _DiffOp to DiffOp following rename in core
......................................................................

Update _DiffOp to DiffOp following rename in core

Recently the class _DiffOp was renamed to DiffOp (commit
c37b4dc96418faffc7db5e78f79dc762cb83fb0c in core). This patch
updates references to that class.

Bug: 57380
Change-Id: Ic41b9a764391028d2752b033229b1ef878b2cc57
---
M includes/Events/EditEventCreator.php
1 file changed, 3 insertions(+), 3 deletions(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/EducationProgram 
refs/changes/26/97026/1

diff --git a/includes/Events/EditEventCreator.php 
b/includes/Events/EditEventCreator.php
index 0284884..56f06f6 100644
--- a/includes/Events/EditEventCreator.php
+++ b/includes/Events/EditEventCreator.php
@@ -12,7 +12,7 @@
 use DatabaseBase;
 use MWNamespace;
 use Diff;
-use _DiffOp;
+use DiffOp;
 
 /**
  * Class that generates edit based events by handling new edits.
@@ -151,12 +151,12 @@
                        // Only an order of magnitude more lines then the 
python equivalent, but oh well... >_>
                        // lines = [ diffOp->closing for diffOp in diff->edits 
if diffOp->type == 'add' ]
                        $lines = array_map(
-                               function( _DiffOp $diffOp ) {
+                               function( DiffOp $diffOp ) {
                                        return $diffOp->closing;
                                },
                                array_filter(
                                        $diff->edits,
-                                       function( _DiffOp $diffOp ) {
+                                       function( DiffOp $diffOp ) {
                                                return $diffOp->type == 'add';
                                        }
                                )

-- 
To view, visit https://gerrit.wikimedia.org/r/97026
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic41b9a764391028d2752b033229b1ef878b2cc57
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/EducationProgram
Gerrit-Branch: master
Gerrit-Owner: AndyRussG <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to