wpninjas/ninja-forms — pull request #78 by BFTrick (2013-08-27 04:27:03+00:00)
Title: Renaming `Plugin Settings` to Simply `Settings`

Since users may not even know what a plugin is we should rename the `Plugin Settings` tab to something else. We could call it `Form Settings` but I think just `Settings` is intuitive enough.