correctly indent parameter documentation
commit87dbf5eb75324d23190bc7e92212bf2884f75cf2
authorDieter Adriaenssens <Dieter.Adriaenssens@UGent.be>
Mon, 17 Jun 2013 13:14:55 +0000 (17 15:14 +0200)
committerDieter Adriaenssens <Dieter.Adriaenssens@UGent.be>
Mon, 17 Jun 2013 13:14:55 +0000 (17 15:14 +0200)
tree894c668d4a1af9aa1450bf6de0b9ae9a48284062
parent7f0d5ea26a3099bf9a2bff0f97bbf16b1cbaf2c8
correctly indent parameter documentation
libraries/server_collations.lib.php