https://bugzilla.wikimedia.org/show_bug.cgi?id=63257
Bug ID: 63257
Summary: Migrate MwEmbedSupport to use JSON i18n
Product: MediaWiki extensions
Version: master
Hardware: All
OS: All
Status: NEW
Keywords: i18n
Severity: normal
Priority: Unprioritized
Component: MwEmbedSupport
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected]
Web browser: ---
Mobile Platform: ---
Gerrit 121615 migrated MwEmbedSupport to use JSON i18n. This was reverted in
gerrit 121889 because it caused "PHP Notice: Undefined index: en in
/data/project/apache/common-local/php-master/extensions/MwEmbedSupport/MwEmbedResourceManager.php
on line 49".
According to MaxSem, this extension implements a home-brewed ResourceLoader.
Because I have no knowledge of this, I'm skipping migration to JSON i18n and
have reported this bug report. If someone has knowledge of this extension,
please make it work with JSON files :).
--
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
