https://bugzilla.wikimedia.org/show_bug.cgi?id=25697

Erwin Dokter <[email protected]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |

--- Comment #14 from Erwin Dokter <[email protected]> 2011-07-05 23:15:09 UTC 
---
Since bug 25725 mentions that the PHP diff engine is no longer used, should
this fix not be applied in /trunk/extensions/wikidiff2/wikidiff2.cpp instead?

-- 
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
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to