Jeroen De Dauw has submitted this change and it was merged. Change subject: Fixed @since tags ......................................................................
Fixed @since tags Change-Id: I04ac2f990dc1e52d45dc2d6b440877947e1d07dd --- M includes/differ/Differ.php M includes/differ/ListDiffer.php M includes/differ/MapDiffer.php M includes/diffop/diff/Diff.php M includes/diffop/diff/IDiff.php M includes/patcher/ListPatcher.php M includes/patcher/MapPatcher.php M includes/patcher/Patcher.php M includes/patcher/PreviewablePatcher.php M includes/patcher/ThrowingPatcher.php M tests/differ/ListDifferTest.php M tests/differ/MapDifferTest.php M tests/patcher/ListPatcherTest.php M tests/patcher/MapPatcherTest.php 14 files changed, 40 insertions(+), 40 deletions(-) Approvals: Jeroen De Dauw: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/39760 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I04ac2f990dc1e52d45dc2d6b440877947e1d07dd Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Diff Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
