Updated mediawiki/extensions
Project: mediawiki/extensions/BayesianFilter  b19f083febfe343d94d3e4506ee345fd3d630b00

General cleanup

Removed the $dir variable, made one function return true (the pre-existing
"true;" line likely did nothing), moved one hard-coded English string into
the i18n file, updated/added function documentation, added a meaningful
version number into extension credits.

Change-Id: I2d7255fb3c44853c45c2ed5b3cee8a2e7b16f897