diff options
author | Peter Kokot <peterkokot@gmail.com> | 2017-09-30 03:23:28 +0200 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2017-09-30 03:23:28 +0200 |
commit | e06a2c150a95ce64c443292488157ef0bfae093f (patch) | |
tree | 36e2c124a6a0489df3bb6ec20bfc01ae0d6a84e5 /ext/mysqli | |
parent | 1189fe572944932b4d517aa8039596fb1892d5b7 (diff) | |
download | php-git-e06a2c150a95ce64c443292488157ef0bfae093f.tar.gz |
Remove done and old TODO file from ext/mysqli
Since PHP documentation and ini settings should be updated for the
mysqli extension, this patch removes an old and done TODO file from
ext/mysqli folder.
Diffstat (limited to 'ext/mysqli')
-rw-r--r-- | ext/mysqli/TODO | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ext/mysqli/TODO b/ext/mysqli/TODO deleted file mode 100644 index c241b9b704..0000000000 --- a/ext/mysqli/TODO +++ /dev/null @@ -1,2 +0,0 @@ -- documentation -- ini-settings |