huit/mediawiki-puppet-build — pull request #12 by hakamadare (2013-09-10 21:54:22+00:00)
Title: Use MySQL rather than local files for PHP sessions

See http://www.mediawiki.org/wiki/Manual%3a%24wgSessionHandler for (sparse) details.