move list of namespaces to its own section

diff --git a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
index db1a1745ce302c5266e33c0e735bed46d9e5d169..fe0fd46b0ec4b5504f1bef4e315a98414762bacb 100644 (file)
--- a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
+++ b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
@@ -48,10 +48,7 @@ in HTML, you may need to add further processing to the last line.
 
 Note that by default, `Special:Allpages` will only list pages in the main
 namespace. You need to add a `&namespace=XX` argument to get pages in a
 
 Note that by default, `Special:Allpages` will only list pages in the main
 namespace. You need to add a `&namespace=XX` argument to get pages in a

-different namespace. The following numbers correspond to common namespaces:
-
- * 10 - templates (`Template:foo`)
- * 14 - categories (`Category:bar`)
+different namespace. (See below for the default list of namespaces)

 
 Note that the page names obtained this way will not include any namespace
 specific prefix: e.g. `Category:` will be stripped off.
 
 Note that the page names obtained this way will not include any namespace
 specific prefix: e.g. `Category:` will be stripped off.


@@ -67,6 +64,12 @@ MySQL backend, the page table is, appropriately enough, called `table`:
 As with the previous method, you will need to do some filtering based on the
 namespace.
 
 As with the previous method, you will need to do some filtering based on the
 namespace.
 

+### namespaces
+
+The list of default namespaces in mediawiki is available from <http://www.mediawiki.org/wiki/Manual:Namespace#Built-in_namespaces>, reproduced here for convenience:
+
+[[mediawiki_namespaces]]
+

 ## Step 2: fetching the page data
 
 Once you have a list of page names, you can fetch the data for each page.
 ## Step 2: fetching the page data
 
 Once you have a list of page names, you can fetch the data for each page.