Proposed fix for bug 16937: pg_version() missing server version due to PHP bug.
[mediawiki.git] / t / 
tree8b0230cb17dcb765d0d67589dd0ae47f9d5e0675
drwxr-xr-x   ..
-rw-r--r-- 14 .htaccess
-rw-r--r-- 101 00-test.t
-rw-r--r-- 946 README
-rw-r--r-- 4809 Search.inc
-rw-r--r-- 12818 Test.php
drwxr-xr-x - inc
drwxr-xr-x - maint