Page MenuHomePhabricator

Fatal error: Call to undefined method DOMText::getAttribute() in /srv/mediawiki/php-1.28.0-wmf.2/extensions/MobileFrontend/includes/MobileFormatter.php on line 214
Closed, DuplicatePublicPRODUCTION ERROR

Description

spotted in the error logs:

Fatal error: Call to undefined method DOMText::getAttribute() in /srv/mediawiki/php-1.28.0-wmf.2/extensions/MobileFrontend/includes/MobileFormatter.php on line 214