Adding the devportal link to prod settings (bug 932442)
Merge pull request #1312 from davidbgk/932442-devportal-prod-link

Adding the devportal link to prod settings (bug 932442)