<-- This is a dummy file to let MapEdit have something to modify, because MapEdit can't edit the 'real' .php file -->