<code>mozilla.check.webidl_check = false</code>
== How to run Bugherder if the tool is not working ==
# Go to https://bugherder.mozilla.org/
# Save the whole page ('''menu File > Save Page As > complete page''')
# Save it as bugherder.htm
# In the folder '''"bugherder_files"''', you will find the file: <span style="color:#FF0000">'''bz-0.js'''</span>. Open that with an editor
# Go to <span style="color:#FF0000">'''line 265'''</span> and change the url to https://bugzilla.mozilla.org/latest/configuration
# Save the file
# Open bugherder.htm in the browser
# Type in the '''revision number from central''' (first autoland revision and then mozilla-inbound revision), hit submit
# Check to see if everything is ok and submit the changes
