A small update that fixes a problem when using a version of PHP earlier than 5.5.

This problem prevents the administration menu (left column) from being displayed with most plugins, or even prevents their access.