#include <Button.h>

/*
  Wire like this:
  GND -----/ button ------ pin 12
*/
Button button = Button(12, BUTTON_PULLUP_INTERNAL);

void setup()
{
  pinMode(WLED, OUTPUT);
}

void loop()
{
  if (button.isPressed())
  {
    digitalWrite(WLED, HIGH);
  }
  else
  {
    digitalWrite(WLED, LOW);
  }
}