Seen in prod:
Fatal error: Call to undefined method DOMDocument::setAttribute() in /srv/mediawiki/php-1.28.0-wmf.4/extensions/MobileFrontend/includes/MobileFormatter.php on line 239
MaxSem | |
Jun 8 2016, 11:38 PM |
F4174448: Screen Shot 2016-06-17 at 12.57.00 PM.png | |
Jun 17 2016, 10:58 AM |
F4167827: Screen Shot 2016-06-15 at 12.14.48 PM.png | |
Jun 15 2016, 10:18 AM |
Seen in prod:
Fatal error: Call to undefined method DOMDocument::setAttribute() in /srv/mediawiki/php-1.28.0-wmf.4/extensions/MobileFrontend/includes/MobileFormatter.php on line 239
Subject | Repo | Branch | Lines +/- | |
---|---|---|---|---|
Don't mark document as reference section | mediawiki/extensions/MobileFrontend | master | +14 -1 |
Initial information/thoughts:
Re-prioritizing to High after initial investigation by @phuedx. I wouldn't be surprised if those 35 instances are accidental from WMF devs.
After talking with @Peter, I can rule out wikimedia/wpt-reporter as:
Change 293718 had a related patch set uploaded (by Phuedx):
Don't mark document as reference section
A few instances of the error have popped up.
Let's monitor this after thursday's deployment of group2 and see if they disappear.
Last one seems to be on wednesday, nothing has happened since, so I'm calling it done.