[00:16:36] <wikibugs>	 (03Merged) 10jenkins-bot: Remove ability to disable MP3 ingestion [extensions/TimedMediaHandler] - 10https://gerrit.wikimedia.org/r/393975 (owner: 10Jforrester)
[03:43:55] <wikibugs>	 10Multimedia, 10Commons, 10MediaWiki-File-management: Allow different declaration of svg fonts - https://phabricator.wikimedia.org/T25643#3898356 (10Perhelion) I propose to **not fix**, as this is proprietary code of an editor without standard. Actual browsers seems also not support this not understandable f...
[04:31:54] <wikibugs>	 10Multimedia, 10Commons, 10MediaWiki-File-management: Allow different declaration of svg fonts - https://phabricator.wikimedia.org/T25643#289522 (10Dinoguy1000) If a majority of editors output using this format (especially if they do so by default), then it's a //de facto// standard, and the software should...
[08:28:55] <wikibugs>	 10Multimedia, 10Commons, 10MediaWiki-File-management: Allow different declaration of svg fonts - https://phabricator.wikimedia.org/T25643#289522 (10Incnis_Mrsi) Perhelion is right, Wikimedia volunteers shouldn’t spent efforts on compatibility kludges helping Adobe to promulgate their Illustrator and other ho...
[10:27:18] <wikibugs>	 10Multimedia, 10Commons, 10MediaWiki-File-management: Allow different declaration of svg fonts - https://phabricator.wikimedia.org/T25643#3898528 (10Dinoguy1000) Which is why I hedged my bets with "majority of editors". I have no idea how widespread this actually is in editors, nor what proportion of uploade...
[13:34:44] <wikibugs>	 10Multimedia, 10Commons, 10MediaWiki-File-management: Allow alternative declaration of SVG fonts (font-family="'FontName-Bold'" in addition to: font-family="Font name" font-weight="bold") - https://phabricator.wikimedia.org/T25643#3898601 (10Aklapper)