require_once() is deprecated

In case anybody still reads here: require_once is deprecated. Because of this, the logs get filled with

```php
require_once() is deprecated. It was called from require() in <redacted>/lib/plugins/codedoc/syntax/block.php:5 Autoloading should be used instead!
```