Polish up r45109 (changes to header id generation)
[lhc/web/wiklou.git] / maintenance / renameDbPrefix.php
2008-12-25 Aaron SchulzAdd a little script I use to change db prefix