@ modules/opsModule/controllers/indexController.php: a fix according to zinux@ca901dd