Modified extension files for new versions of devtoolsExtended