When we have bad page names that don't resolve from within the wiki we do SQL queries to change them.
(i.e. SELECT page_id, page_name FROM page WHERE page_name LIKE ':%'; UPDATE page SET page_name='name_w/o_colon' WHERE page_id=#;) _______________________________________________ MediaWiki-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
