Update DefaultSettings.php

Update 67167 mediawiki bug for editmyoptions documentation