diff options
| author | Emiel Bruijntjes <emiel.bruijntjes@copernica.com> | 2014-03-05 12:15:56 +0100 |
|---|---|---|
| committer | Emiel Bruijntjes <emiel.bruijntjes@copernica.com> | 2014-03-05 12:15:56 +0100 |
| commit | fce5a7b8961af688d8bef2f73f8a8b970edaab3f (patch) | |
| tree | d72fddfbcb3746c87686d908632940e52f5e56ff /documentation/loading-extensions.html | |
| parent | 902d86acbe01b0368771eb57873e09f2cfcd8184 (diff) | |
removed header div from documentation files
Diffstat (limited to 'documentation/loading-extensions.html')
| -rw-r--r-- | documentation/loading-extensions.html | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/documentation/loading-extensions.html b/documentation/loading-extensions.html index 2556efd..6163596 100644 --- a/documentation/loading-extensions.html +++ b/documentation/loading-extensions.html @@ -1,6 +1,3 @@ -<div style="width: 1024px; font-family: verdana; font-size: 10pt; line-height: 16pt;"> - - <h1>How does PHP load its extensions?</h1> <p> You probably already know that native PHP extensions are compiled into *.so |