Merge "Removed deprecated $wgDeferredUpdateList"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 22 Sep 2015 00:50:22 +0000 (00:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 22 Sep 2015 00:50:22 +0000 (00:50 +0000)
commit7f67c5566d37549e0297caa6c78b6de5dc2eaa6e
tree957c633b0a8cc65919e25d1cee27817175286fb1
parent73f52a6c0c913c927cc32bcbe3558c49f57f3350
parentcc4ca3e86d3e485ff310f1a17b376f351387160a
Merge "Removed deprecated $wgDeferredUpdateList"