Joas Schilling 00c15c76c3 Merge branch '3.1.x'

2015-06-09 20:23:29 +02:00

..

config_text.php

…

config.php

…

module.php

[ticket/13777] Reorder get_module_infos() method's arguments

2015-05-31 16:03:11 +02:00

permission.php

[ticket/13779] Set new auth options to the role only if matching the role type

2015-04-26 11:57:02 +07:00

tool_interface.php

…