keyboard-lock extension. Pushed by grunt on 2014-03-15