Page MenuHomePhabricator

wikidiff2 mediawiki-vagrant role broken
Closed, ResolvedPublic

Description

When the Vagrant role wikidiff2 is enabled, my Vagrant instance gets

Deprecated: Use of $wgExternalDiffEngine = 'wikidiff2' was deprecated in MediaWiki 1.32. [Called from ContentHandler::getSlotDiffRendererInternal in /vagrant/mediawiki/includes/content/ContentHandler.php at line 697] in /vagrant/mediawiki/includes/debug/MWDebug.php on line 309

Event Timeline

awight renamed this task from No role for wikidiff3 to wikidiff2 mediawiki-vagrant role broken.May 22 2019, 12:53 PM
awight claimed this task.
awight updated the task description. (Show Details)
awight moved this task from Backlog to Awaiting review on the MediaWiki-Vagrant board.

Change 511870 had a related patch set uploaded (by Awight; owner: Awight):
[mediawiki/vagrant@master] Remove deprecated wikidiff2 configuration

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

Change 511870 merged by jenkins-bot:
[mediawiki/vagrant@master] Remove deprecated wikidiff2 configuration

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