Use PHP_VERSION constant instead of phpversion() function call
[mediawiki.git] / skins / 
tree7e69353650cb9ae2caebe82273b1f13a67ab961d
drwxr-xr-x   ..
-rw-r--r-- 48 .gitignore
drwxr-xr-x - MonoBook
drwxr-xr-x - Vector
drwxr-xr-x - common