Page MenuHomePhabricator

PHP Notice: Undefined index: error-html
Closed, ResolvedPublicPRODUCTION ERROR

Description

Error
normalized_message
[{reqId}] {exception_url}   PHP Notice: Undefined index: error-html
exception.trace
from /srv/mediawiki/php-1.38.0-wmf.6/extensions/FlaggedRevs/frontend/specialpages/actions/RevisionReview.php(254)
#0 /srv/mediawiki/php-1.38.0-wmf.6/extensions/FlaggedRevs/frontend/specialpages/actions/RevisionReview.php(254): MWExceptionHandler::handleError(integer, string, string, integer, array)
#1 /srv/mediawiki/php-1.38.0-wmf.6/includes/AjaxDispatcher.php(132): RevisionReview::AjaxReview(string, string, string, string, string, string, string, string, string, string, string)
#2 /srv/mediawiki/php-1.38.0-wmf.6/includes/MediaWiki.php(879): AjaxDispatcher->performAction(User)
#3 /srv/mediawiki/php-1.38.0-wmf.6/includes/MediaWiki.php(559): MediaWiki->main()
#4 /srv/mediawiki/php-1.38.0-wmf.6/index.php(53): MediaWiki->run()
#5 /srv/mediawiki/php-1.38.0-wmf.6/index.php(46): wfIndexMain()
#6 /srv/mediawiki/w/index.php(3): require(string)
#7 {main}
Impact

logspam

Notes

maybe related: T294544

Details

Request URL
https://ru.wiktionary.org/w/index.php

Event Timeline

Change 735440 had a related patch set uploaded (by Zabe; author: Zabe):

[mediawiki/extensions/FlaggedRevs@master] Check if 'error-html' key is set

https://gerrit.wikimedia.org/r/735440

Change 735440 merged by jenkins-bot:

[mediawiki/extensions/FlaggedRevs@master] Check if 'error-html' key is set

https://gerrit.wikimedia.org/r/735440

Zabe claimed this task.

Should be fixed in wmf.7.