Как использовать / импортировать / требовать библиотеку PHP, которая загружается на php.ini?

После того, как я начал изучать PHP, у меня возникло сомнение, что я не нашел ответа ни в StackOverflow, ни в Google до сих пор.

Я установил библиотеку в моей системе, и я загружаю ее как расширение на php.ini файл, но я не знаю, как я могу назвать это расширение в моих файлах .php сейчас. Я не могу показать вам имя lib в данный момент, но я назову его «php5fooLib».

Я установил библиотеку «php5fooLib» на /usr/include/php5/ext и включил его в мой php.ini со следующей строкой:

extension=php5fooLib.so

И когда я пытаюсь создать файл .php и запустить его на моем терминале, я получил:

PHP Warning:  require_once(php5fooLib): failed to open stream: No such file or directory in /home/fernando/Documents/programacao/puro-crypto/main.php on line 4
PHP Stack trace:
PHP   1. {main}() /home/fernando/Documents/programacao/puro-crypto/main.php:0
PHP Fatal error:  require_once(): Failed opening required 'php5fooLib' (include_path='“.:/opt/Zend/library”') in /home/fernando/Documents/programacao/puro-crypto/main.php on line 4
PHP Stack trace:
PHP   1. {main}() /home/fernando/Documents/programacao/puro-crypto/main.php:0

Созданный мной php-файл выглядит следующим образом:

<?php

require_once("php5fooLib");

class Main {

}
?>

Итак, учитывая эту проблему, как я могу импортировать / использовать / требовать / включить библиотеку PHP, которая загружается в файл PHP.ini?