Go to the source code of this file.
Classes | |
class | RenameDbPrefix |
Run this script to after changing $wgDBprefix on a wiki. More... | |
Variables | |
$maintClass = "RenameDbPrefix" |
$maintClass = "RenameDbPrefix" |
Definition at line 84 of file renameDbPrefix.php.