[Mediawiki-l] Version number not changed after update to 1.4.11

[Michael Abshoff]

Hello,

just updated to 1.4.11 from 1.4.10. Since I apply diffs and don't
reinstall it came to my attention that the version number doesn't change
in includes/DefaultSettings.php:

<SNIP>
--- mediawiki-1.4.10/includes/DefaultSettings.php       2005-09-21
21:18:58.000000000 +0200
+++ mediawiki-1.4.11/includes/DefaultSettings.php       2005-09-30
23:33:33.000000000 +0200
@@ -1026,7 +1026,7 @@
 /**
  * Use http.dnsbl.sorbs.net to check for open proxies
  */
-$wgEnableSorbs = true;
+$wgEnableSorbs = false;

 /**
  * Use opm.blitzed.org to check for open proxies.
diff -ur mediawiki-1.4.10/includes/Parser.php
mediawiki-1.4.11/includes/Parser.php
<SNIP>

Since I couldn't find any reports on the mailing list I thought to let you
know. The (obvious) fix is to change the version string from 1.4.10 to
1.4.11 in includes/DefaultSettings.php.

Thanks for a great piece of software,

Michael