Thread:Project:Support desk/Whats the easiest way to get ' user group key ' (2)

I believe that I need to run maintenance/migrateUserGroup.php to fix a problem with not being able to join groups after changing the group names. migrateUserGroup.php requires an old group key and a new group key as command line options.

I suppose there are many ways to ascertain the group keys if I know the old and new group names, e.g. 'PR' changed to 'Public Relations'; run a sql query (somehow to painfully figure out), execute a php script (somehow to painfully code), fire up PHPMyAdmin and start browsing,. ..

Is there an easy and quick way to find user group keys? Or some way to find user group keys through the MediaWiki interface?

Thank You,