Reedy has submitted this change and it was merged.
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(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
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: merged
Gerrit-Change-Id: Ic41b9a764391028d2752b033229b1ef878b2cc57
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/EducationProgram
Gerrit-Branch: master
Gerrit-Owner: AndyRussG <[email protected]>
Gerrit-Reviewer: AndyRussG <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
