Sorry to be a bore, but how about adding some comments to the
/index.php produced, being that it is the entry point to the whole
kaboodle. Other php files in WikiMedia have introductory comments,
but not this most keystone file.
#This is index.php, the entry point of all of the whole WikiMedia
#program, it was produced by config/..... and is copyright ..... for more
#info see ..... or the other files hopefully still in this directory.
Or something like config/index.php's header.
By the way, config/index.php should say "See ../INSTALL".