[Mediawiki-l] changing namespace name

[Hicham Mouline]

hello
I have 2 namespaces in LocalSettings.php, a number of users, and 
associations of
users with groups, and then permissions for groups access to namespaces 
(with syswikiop user...)

I have edited pages in the 2 namespaces and would like to change the name of 
one of the namespaces.

Do i have to sql the database directly or is there another way?

rds,