Regenerated files from extensionizr.com