Issue #2158383 by laurii, joachim: Fix documentation of return value in user_role_permissions
Issue #2164597 by longwave, StephaneQ, emok: Fix up docs for drupal_render_children()