setTimeout(ReDir(), 10000)
//  Потому, что ^ здесь вызывается функция ReDir,
// и параметром в setTimeout передаётся возвращаемое
// ей значение (undefined).


// Должно быть так:
setTimeout(ReDir, 1e4);


// или так:
setTimeout(function()
{
  ReDir();
}, 1e4);


// или так:
function ReDir()
{
  return function()
  {
    location = 'index.php';
  };
};
setTimeout(ReDir(), 1e4);