Abort

# not really needed any more: now we deny access to this file in .htaccess