ReferenceError: getCookie is not defined

Posted by danielmai:

Steps to reproduce:

  1. Go to https://docs.dgraph.io

  2. Open dev tools console:

(index):649 Uncaught ReferenceError: getCookie is not defined
    at (index):649