Yeah, that's probably true; I should have phrased what I wrote better: it appeared to me that maybe all his attempts at solving the problem had failed because he hadn't made the "global" call in the first place.
Just include your generated config file or code that sets stuff in LocalSettings.php?