Merge "Various doc cleanups for doxygen."
authorHashar <hashar@free.fr>
Wed, 18 Jul 2012 19:13:36 +0000 (19:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Jul 2012 19:13:36 +0000 (19:13 +0000)

Trivial merge