Add supertab
Add PHP linter; other updates