From 64f304b79585ca2b4b512174a9cd86b7ddf0eacc Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Wed, 28 Oct 2015 18:42:20 +0100
Subject: [PATCH] Add comment to unused EDIT_DEFER_UPDATES in Defines.php

Follows I2bc47b82635e0a24b1df5d502ba66f6de737697e

Change-Id: If08e0d355abd4e6ea2f9efe333867b9e88bd08cf
---
 includes/Defines.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/Defines.php b/includes/Defines.php
index b8a0ec04c7..9a6950e081 100644
--- a/includes/Defines.php
+++ b/includes/Defines.php
@@ -181,7 +181,7 @@ define( 'EDIT_UPDATE', 2 );
 define( 'EDIT_MINOR', 4 );
 define( 'EDIT_SUPPRESS_RC', 8 );
 define( 'EDIT_FORCE_BOT', 16 );
-define( 'EDIT_DEFER_UPDATES', 32 );
+define( 'EDIT_DEFER_UPDATES', 32 ); // Unused since 1.27
 define( 'EDIT_AUTOSUMMARY', 64 );
 /**@}*/
 
-- 
2.20.1