Thread:Extension talk:FlaggedRevs/PHP fatal Error after having upgraded to mediawiki 1.19.0