* MediaWiki version number
* @since 1.2
*/
-$wgVersion = '1.31.0-rc.2';
+$wgVersion = '1.31.3';
/**
* Name of the site. It must be changed in LocalSettings.php
'newbie' => [ 5, 86400 ],
'user' => [ 20, 86400 ],
],
+ 'changeemail' => [
+ 'ip-all' => [ 10, 3600 ],
+ 'user' => [ 4, 86400 ]
+ ],
// Purging pages
'purge' => [
'ip' => [ 30, 60 ],