docfiles.js removed