https://bugzilla.wikimedia.org/show_bug.cgi?id=9497
--- Comment #21 from Derrick Coetzee <[email protected]> 2011-08-27 05:49:51 UTC --- Created attachment 8978 --> https://bugzilla.wikimedia.org/attachment.cgi?id=8978 A patch allowing custom scaling tools to be used for specific extensions. This patch allows a line like this in LocalSettings.php to configure the use of a custom tool like pngscale for scaling PNGs on a Mediawiki server: $wgCustomConvertCommandsByExtension['png'] = "/usr/bin/pngscale %s %d %w %h"; This supersedes other settings for files with the given extension. There may be multiple extension-specific convert commands. Default is array(). -- 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
