Thread:Extension talk:Push/Suggestion and a fix/reply

Is this the change you made?

https://gerrit.wikimedia.org/r/#/c/92911/1/specials/Push_Body.php