// TODO: This file was created by bulk-decaffeinate.
// Sanity-check the conversion and remove this comment.
// Stub out some globals
window.sharelatex = {
  sixpackDomain: ''
}