Modifications nécessaires pour le passage à la version 3.0.12 de phpbb

Change-Id: I516fcd763a5e094eafd75c78bb03267b8acde8fe