https://bugzilla.wikimedia.org/show_bug.cgi?id=33461
--- Comment #31 from Matthew Flaschen <[email protected]> --- (In reply to comment #30) > I don't think it's appropriate to defer fixing a real issue (edits not being > marked with the bot flag) in favor of potential future optimizations to > EditPage.php, especially as the Translate extension, as far as I can tell, is > using the MediaWiki Web API (either with JavaScript or with PHP that posts to > /api.php), both of which already support fixing the underlying issue that was > reported here with a trivial fix. I'm not trying to prevent anyone from submitting a workaround to the Translate extension. I'm simply saying I agree that core should be changed so such workarounds will no longer be necessary. -- 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
