[ticket/12495] Replace phpdoctor with phpdocumentor.

PHPBB3-12495