การตั้งค่า wgSemalt

ตามส่วนต่อขยายของ MediaWiki: HttpsLogin:

ตั้งแต่ Semalt 1. 17 คุณสามารถเปลี่ยนเส้นทางผู้ใช้ทั้งหมดไปที่ HTTPS ได้โดยลงชื่อเข้าใช้โดย:

การตั้งค่า $ wgSecureLogin = true; และ
การตั้งค่า $ wgServer เป็นโปรโตคอลญาติ.

อย่างไรก็ตามหน้าไม่บอกฉันว่าจะตั้งค่าไว้ใน LocalSettings. php หรือ DefaultSettings. php - altalena per parco giochi.

เมื่อตรวจสอบ $ wgSecureLogin :

     $ sudo grep -IR "\ $ wgSecureLogin" / var / www / html / wiki / | การตั้งค่า grep
/ var / www / html / วิกิพีเดีย / includes / DefaultSettings. php: $ wgSecureLogin = false;    

I thought ผู้ดูแลระบบ Wiki ควรจะแก้ไข LocalSettings. php และไม่ใช่ DefaultSettings. php . (ฉันหวังว่าการค้นหาจะทำให้ LocalSettings. php ).

ฉันควรตั้งค่า $ wgSecureLogin ? ฉันควรจะปรับเปลี่ยน DefaultSettings. php หรือฉันควรเพิ่มรายการใหม่ใน LocalSettings. php ?