Merge pull request #6 from gregrgay/master
[atutor.git] / mods / _standard / social / side_menu.inc.php