summaryrefslogtreecommitdiff
path: root/php.ini-development
diff options
context:
space:
mode:
authorPeter Kokot <peterkokot@gmail.com>2019-02-03 21:23:18 +0100
committerPeter Kokot <peterkokot@gmail.com>2019-02-03 21:23:18 +0100
commit623911f993f39ebbe75abe2771fc89faf6b15b9b (patch)
treede37b0eb6b86f8024362bda8389ecd402b3a5117 /php.ini-development
parent5ded0e8f290a9ae6dcdff0119680d27d0eb01e8a (diff)
parent92ac598aabd336593a47ed3959f1031674b763e6 (diff)
downloadphp-git-623911f993f39ebbe75abe2771fc89faf6b15b9b.tar.gz
Merge branch 'PHP-7.4'
* PHP-7.4: Remove local variables
Diffstat (limited to 'php.ini-development')
-rw-r--r--php.ini-development4
1 files changed, 0 insertions, 4 deletions
diff --git a/php.ini-development b/php.ini-development
index 81148ffb30..ff7af00255 100644
--- a/php.ini-development
+++ b/php.ini-development
@@ -1907,7 +1907,3 @@ ldap.max_links = -1
; "false" - always disabled
; "true" - always enabled
;ffi.enable=preload
-
-; Local Variables:
-; tab-width: 4
-; End: