| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
Several fixes.
|
|
|
|
|
|
|
|
This fixes:
- height of lines in literal blocks (all browsers)
- literal blocks in Japanese docs (Firefox)
|
|
This allows the same render for north east arrow on all browsers.
|
|
This allows to have dark scroll bars in Chrome-based browsers.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
RPL_HELPSTART/RPL_HELPTXT/RPL_ENDOFHELP (issue #1772)
|
|
|
|
|
|
These functions don't work with PHP 8+ and also don't seem to be
necessary anymore when reloading scripts.
|
|
This was preventing the PHP plugin from working if PHP was compiled
with `--enable-debug`. With this patch, `--enable-debug` builds of
PHP should work.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
