-<?
-
-/*
- This file gets included if $wgSessionsInMemcache is set in the config.
- It redirects session handling functions to store their data in memcached
- instead of the local filesystem. Depending on circumstances, it may also
- be necessary to change the cookie settings to work across hostnames.
-
- See: http://www.php.net/manual/en/function.session-set-save-handler.php
-*/
-
+<?php
+/**
+ * This file gets included if $wgSessionsInMemcache is set in the config.
+ * It redirects session handling functions to store their data in memcached
+ * instead of the local filesystem. Depending on circumstances, it may also
+ * be necessary to change the cookie settings to work across hostnames.
+ * See: http://www.php.net/manual/en/function.session-set-save-handler.php
+ *
+ * @file
+ * @ingroup Cache
+ */