adding push.js to specs.html