modified:   extensions.js