Merge "Support updating search index when page is deleted"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Jun 2013 21:47:12 +0000 (21:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Jun 2013 21:47:12 +0000 (21:47 +0000)
commitea6ed43c3d52a50a7df3a470873299ba42320735
treeeb11b5b425a73028360ab212ee47bfdc2072003d
parent55582fc2114c00baa2adb7f21403410afbce4580
parent96fb0c4d71e11cbfb026ea93d6e009fe4c2c0682
Merge "Support updating search index when page is deleted"