Fix #15427 - "FilterLanguages" option does not work
commit71a032de3331b5d073d2f5ca52782c28ec997f30
authorWilliam Desportes <williamdes@wdes.fr>
Sun, 11 Aug 2019 16:35:37 +0000 (11 18:35 +0200)
committerWilliam Desportes <williamdes@wdes.fr>
Sun, 11 Aug 2019 16:42:40 +0000 (11 18:42 +0200)
tree8a620efadb493ea93be708155886264a755905f0
parentc8478f5eadd8f514326b82e2cb4f9a2bbf3914b0
parent79c0c8a8f35e79ef0813a4506d97b7e810a33644
Fix #15427 - "FilterLanguages" option does not work

Pull-request: #15426
Fixes: #15427
Signed-off-by: William Desportes <williamdes@wdes.fr>
libraries/classes/LanguageManager.php