Thread:Project:Support desk/Permanent deletion of page from database

When I first created my wiki I made Portal: pages in the main namespace. Later on I realized that was a bad idea so I made a Portal: namespace and attempted to delete the original pages. Unfortunately they will not permanently delete and now I have 2 pages (one in the Portal: namespace and one in the main namespace). How can I get rid of these for good!?

I was considering deleting them in MySQL but if there another option I would prefer to take that approach than messing with MySQL