Updated mediawiki/extensions
Project: mediawiki/extensions/FanBoxes  4da5b785f829e018d1d97e17e39eed83de115b65

Version 3.1 - fixed color picker and moved it to its own file.

Also various, miscellaneous fixes, such as:
* special page grouping updated to use the modern method (a getGroupName()
 method in the special page class file instead of $wgSpecialPageGroups)
* fixed color picker image URLs not to load 'em from Yahoo's servers since
 they're no longer there
* removed some $wgTitle usages
* documentation tweaks

Change-Id: Icb2429f5a478055483f0e48f9eed09062cf6258b