https://bugzilla.wikimedia.org/show_bug.cgi?id=36232
Web browser: ---
Bug #: 36232
Summary: PHP Notice in MessageIndex in recent PHP versions
Product: MediaWiki extensions
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: Translate
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected], [email protected],
[email protected]
Classification: Unclassified
Mobile Platform: ---
array_diff_assoc converts values to strings. Perhaps we need to use
array_udiff_assoc that also diffs the values.
What we want is to get list of message groups with key additions / deletions to
purge the completion statistics (as last resort, ideally all the operations
that handle these changes would clear the stats themselves - this also misses
content changes, but those usually cause page changes which should clear stats
for affected groups).
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
