Jason Tedor b89b0d5f84
Move plugin.mandatory to its own page
This commit takes the reworking of plugin.mandatory docs even farther by
taking this setting to its own page.
2019-08-30 11:01:32 -04:00
..
2018-12-22 20:51:18 -05:00