Remove mention of DefaultSettings.php from the messages

DefaultSettings.php is a code file that is not supposed to be touched
by webmasters. Variables are supposed to be configured only in
LocalSettings.php and all MediaWiki webmasters should know that.

Change-Id: I015d8db08e7a1da5d7374a5be72e7f4939e75f6e