Removed obsolete version of RectangularPushButton.js.