Last modified: 2014-11-20 01:20:56 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T75112, the corresponding Phabricator task for complete and up-to-date bug report information.
First Last Prev Next    This bug is not in your last search results.
Bug 73112 - PHP notice in hhvm.log
PHP notice in hhvm.log
Status: RESOLVED FIXED
Product: MediaWiki extensions
Classification: Unclassified
TimedMediaHandler (Other open bugs)
unspecified
All All
: Unprioritized normal (vote)
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency tree / graph
 
Reported: 2014-11-07 01:07 UTC by Sam Reed (reedy)
Modified: 2014-11-20 01:20 UTC (History)
8 users (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Description Sam Reed (reedy) 2014-11-07 01:07:52 UTC 
Nov  7 00:18:19 mw1021:  #012Notice: Undefined index: video in /srv/mediawiki/php-1.25wmf6/extensions/TimedMediaHandler/handlers/WebMHandler/WebMHandler.php on line 123
Comment 1 Sam Reed (reedy) 2014-11-07 01:12:19 UTC 
Nov  7 00:18:19 mw1021:  #012Notice: Undefined index: video in /srv/mediawiki/php-1.25wmf6/extensions/TimedMediaHandler/handlers/WebMHandler/WebMHandler.php on line 125
Comment 2 Gerrit Notification Bot 2014-11-07 01:15:14 UTC 
Change 171786 had a related patch set uploaded by Reedy:
Fix Undefined index: video

https://gerrit.wikimedia.org/r/171786
Comment 3 Gerrit Notification Bot 2014-11-07 01:19:25 UTC 
Change 171786 merged by jenkins-bot:
Fix Undefined index: video

https://gerrit.wikimedia.org/r/171786
Note You need to log in before you can comment on or make changes to this bug.
First Last Prev Next    This bug is not in your last search results.

Navigation
Links