aboutsummaryrefslogtreecommitdiff
path: root/doc/tips
diff options
context:
space:
mode:
Diffstat (limited to 'doc/tips')
-rw-r--r--doc/tips/convert_mediawiki_to_ikiwiki.mdwn2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
index 3a266bc8b..38de01109 100644
--- a/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
+++ b/doc/tips/convert_mediawiki_to_ikiwiki.mdwn
@@ -59,7 +59,7 @@ If you have access to the relational database in which your mediawiki data is
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.