A police official was killed, and several other police personnel were injured in a mob attack in Madhya Pradeshs Mauganj district.