Custom header buttons JS

Note

 * This may only be used in your personal JS.