https://bugzilla.wikimedia.org/show_bug.cgi?id=16925
Summary: Diffs silently fail when $wgExternalDiffEngine is set to
'wikidiff2' but extension is not installed
Product: MediaWiki
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: enhancement
Priority: Normal
Component: History/Diffs
AssignedTo: wikibugs-l@lists.wikimedia.org
ReportedBy: br...@wikimedia.org
Discovered this when wikitech was moved to new server; wikidiff2 had been set
up as $wgExternalDiffEngine but the PHP extension hadn't been installed on the
new machine.
Diffs failed silently, and were even saved blank into the diff cache. All edits
appeared as thought here were no changes, more or less.
Should either show an error message, fall back to regular diff code, or some
combination thereof; and should definitely not be saving bogus diffs into the
cache!
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
