Corrijo, ahí estaba el el problema, no me funcionó inicialmente porque en el archivo tenía el cambio anterior que recomendabas, desaciendo ese cambio también funciona, aquí dejo el archivo final por si alguien tiene el mismo problema.
Gaptor podrías decirme pq se produjo el problema, así me lo aprendo para la siguiente y puede servir de guía a los compañeros para problemas similares y muchas gracias por tu ayuda.
Código PHP:
<?php
require_once("modulo.inc.php");
$conec = conectar_bd();
$operacion = $_POST['operacion'];
if (!isset($operacion)) $operacion = "";
switch ($operacion) {
case "actualizar_modulo":
actualizar_modulo($HTTP_POST_VARS, $conec);
break;
case "actualizar_imagen":
actualizar_imagen($HTTP_POST_FILES["fichero"], $conec);
break;
case "quitar_imagen":
quitar_imagen($conec);
break;
default: ;
}
desconectar_bd($conec);
header("Location: index.php");
?>