* MediaWiki version number
* @since 1.2
*/
-$wgVersion = '1.31.0-rc.0';
+$wgVersion = '1.31.0-rc.2';
/**
* Name of the site. It must be changed in LocalSettings.php
'edit' => [
'ip' => [ 8, 60 ],
'newbie' => [ 8, 60 ],
+ 'user' => [ 90, 60 ],
],
// Page moves
'move' => [