Umherirrender has uploaded a new change for review. https://gerrit.wikimedia.org/r/249451
Change subject: Add unused comment to EDIT_DEFER_UPDATES in Defines.php ...................................................................... Add unused comment to EDIT_DEFER_UPDATES in Defines.php Follows I2bc47b82635e0a24b1df5d502ba66f6de737697e Change-Id: If08e0d355abd4e6ea2f9efe333867b9e88bd08cf --- M includes/Defines.php 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/51/249451/1 diff --git a/includes/Defines.php b/includes/Defines.php index b8a0ec0..9a6950e 100644 --- a/includes/Defines.php +++ b/includes/Defines.php @@ -181,7 +181,7 @@ 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 ); /**@}*/ -- To view, visit https://gerrit.wikimedia.org/r/249451 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If08e0d355abd4e6ea2f9efe333867b9e88bd08cf Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Umherirrender <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
