Merge "Add comment to unused EDIT_DEFER_UPDATES in Defines.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Nov 2015 20:59:33 +0000 (20:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Nov 2015 20:59:33 +0000 (20:59 +0000)
commit5767892f9c9961980d38d96afd06a6571ef21311
tree6ec89ba885991554ccb68a150e5316cb5d35b547
parentc048813e067efef06cc2607ba46261f2fdb924b8
parent64f304b79585ca2b4b512174a9cd86b7ddf0eacc
Merge "Add comment to unused EDIT_DEFER_UPDATES in Defines.php"