Thread:Talk:ResourceLoader/Migration guide (users)/Minifying central gadgets

Isn't better to change the mw.loader.load commands to get the gadgets through resource loader, so that they would be minified? Compare: What do you think?
 * http://bits.wikimedia.org/www.mediawiki.org/load.php?modules=ext!gadget!CodeEditor
 * http://www.mediawiki.org/w/index.php?title=MediaWiki:Gadget-CodeEditor.js&action=raw&ctype=text/javascript