The ruling on praying in a mosque that contains a grave inside the mosque's enclosure

Question:
Is it permissible to pray in a mosque that has a grave outside the mosque but inside the enclosure?

Answer:
Mosques built over graves are not to be prayed in. The Prophet (peace and blessings be upon him) said: So if the graves are inside the enclosure, one does not pray in it. However, if they are outside, in the land outside to its right or left or in front of it, there is no harm. But if they are inside it, one does not pray in it. This is from the practice of the Jews and the Christians. The Messenger said: Aisha said: "He was wary of what they did. And were it not for that, they would have exposed his grave, except that they feared it would be taken as a mosque, so they buried him in Aisha's house (may Allah be pleased with her)."
But when al-Walid ibn 'Abd al-Malik expanded the mosque, he brought the grave into the mosque in Aisha's house. The Prophet (peace and blessings be upon him) is not in the mosque, but in Aisha's house. Rather, the house was brought into the mosque in its entirety. So the people of graves have no argument in that, and the Prophet (peace and blessings be upon him) brought his house into the mosque when it was expanded. So no one has the right to be buried in the mosque, nor to have a grave in the mosque. And al-Walid's action is not a proof, and his action was not a burial in the mosque, but rather he brought the room into the mosque in its entirety as an expansion of the mosque.