Instanciate $plugin_manager from login.php script if needed
authorJehan-Guillaume (ioguix) de Rorthais <ioguix@free.fr>
Fri, 5 Apr 2013 12:35:54 +0000 (14:35 +0200)
committerJehan-Guillaume (ioguix) de Rorthais <ioguix@free.fr>
Fri, 5 Apr 2013 12:40:21 +0000 (14:40 +0200)
commitaa99319d4574182b61f409ec4cea3c792a1862ef
tree3bee69342ef45f54280803a85cbb84e608e4b26b
parentd747d6324d1ffdf835fd11071f6b97d2972f2ba9
Instanciate $plugin_manager from login.php script if needed

This answers the question in commit message:
7d89d7cca40b5a8c3ac1874436630993f518410c. When the script require a
database connexion and the user must login, or in some cases of some
other related errors, we ar eincluding the login.php script and exit
immediatly. The login.php script requires the $plugin_manager, but it
is instanciated AFTER the connection codeblock (see commit 7d89d7cc),
leading to a FATAL error.
libraries/lib.inc.php
login.php