[bug] posthistory in react admin bug

[Rukapul]

De posthistory in reactadmin werkt voor sommige users niet. Bijvoorbeeld http://gathering.tweakers...tails&data%5Buser%5D=9449 :

Fatal error: Cannot redeclare custom_highlighter_callback() (previously declared in /mnt/web/react/got/react/board/non-www/rml_config.inc.php:1287) in /mnt/web/react/got/react/board/non-www/rml_config.inc.php on line 1287

In een enkel geval werkt de 2e pagina van de posthistory niet.

[crisp]

Even een function_exist omheen gezet in de rml_config; komt later vanavond online