Pocketmine: Failed loading Zend extension

[Thunder33345]

Panel Version: 0.7.17
Daemon Version: 0.6.13
Service: MinecraftPE/Pocketmine
Modified: no

Expected Behavior: To start up cleanly without any error(s)

Actual Behavior: The server errored with:

:/home/container$ ./bin/php7/bin/php ./PocketMine-MP.phar --no-wizard --disable-ansi
PHP Warning: Failed loading Zend extension 'opcache.so' (tried: /var/jenkins_home/workspace/PHP-7.3-Linux-x86_64/bin/php7/lib/php/extensions/no-debug-zts-20180731/opcache.so (/var/jenkins_home/workspace/PHP-7.3-Linux-x86_64/bin/php7/lib/php/extensions/no-debug-zts-20180731/opcache.so: cannot open shared object file: No such file or directory), /var/jenkins_home/workspace/PHP-7.3-Linux-x86_64/bin/php7/lib/php/extensions/no-debug-zts-20180731/opcache.so.so (/var/jenkins_home/workspace/PHP-7.3-Linux-x86_64/bin/php7/lib/php/extensions/no-debug-zts-20180731/opcache.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
Warning: Failed loading Zend extension 'opcache.so' (tried: /var/jenkins_home/workspace/PHP-7.3-Linux-x86_64/bin/php7/lib/php/extensions/no-debug-zts-20180731/opcache.so (/var/jenkins_home/workspace/PHP-7.3-Linux-x86_64/bin/php7/lib/php/extensions/no-debug-zts-20180731/opcache.so: cannot open shared object file: No such file or directory), /var/jenkins_home/workspace/PHP-7.3-Linux-x86_64/bin/php7/lib/php/extensions/no-debug-zts-20180731/opcache.so.so (/var/jenkins_home/workspace/PHP-7.3-Linux-x86_64/bin/php7/lib/php/extensions/no-debug-zts-20180731/opcache.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
[21:10:33] [Server thread/INFO]: Loading pocketmine.yml...

While it's not critical to the server's function, and the server probably will work as it is with it present, it still is an annoyance...

Steps to Reproduce: Install the egg, start the server, check the first few lines of the log

Resolution: https://pmmp.readthedocs.io/en/rtfd/faq/installation/opcache.so.html
This can easily be fixed by adopting this piece of code from the official docs into the install script to run it inside the PHP directory in order to fix the path error

EXTENSION_DIR=$(find "$(pwd)/bin" -name *debug-zts*)
grep -q '^extension_dir' bin/php7/bin/php.ini && sed -i'bak' "s{^extension_dir=.*{extension_dir=\"$EXTENSION_DIR\"{" bin/php7/bin/php.ini || echo "extension_dir=\"$EXTENSION_DIR\"" >> bin/php7/bin/php.ini