Last modified: 2014-08-17 11:33:50 UTC
I should stop making Page a final object. should fix most of these.
Change 133092 had a related patch set uploaded by Dbrant: Update table of contents after editing page. https://gerrit.wikimedia.org/r/133092
Change 133092 merged by jenkins-bot: Update table of contents after editing page. https://gerrit.wikimedia.org/r/133092
Patches mentioned in this report was merged - assuming this bug is FIXED. If that is not the case: Please reopen and elaborate what is left to do here to get this report fixed.