stored, it is possible to derive a list of page names from this. With mediawiki's
MySQL backend, the page table is, appropriately enough, called `table`:
- SELECT page_namespace, page_title FROM page;
+ SELECT page_namespace, page_title FROM page;
As with the previous method, you will need to do some filtering based on the
namespace.