And if you decide to move that include file? Or rename it? Don't say it doesn't happen, because it does. What if a developer forgets to include the check file in his page? What if two different clients share the same code, but run it locally and want to configure it differently?
Your solutions always "work" for suitably limited scopes. I'll take the solution that's more globally applicable, thank you.