[SOLVED] "Global Ignore Files" setting is missing

Ah, thank you for this.