Thread:Extension talk:FlaggedRevs/Updating FlaggedRevs leads to PHP error