Use PHP_VERSION constant instead of phpversion() function call
[mediawiki.git] / skins / common / 
treeddf1986cb4bff913e30c9198d5e2bf846ee4814f
drwxr-xr-x   ..
-rw-r--r-- 3552 IEFixes.js
-rw-r--r-- 5608 ajax.js
-rw-r--r-- 3064 commonContent.css
-rw-r--r-- 3399 commonElements.css
-rw-r--r-- 1402 commonInterface.css
-rw-r--r-- 6186 commonPrint.css
-rw-r--r-- 797 config-cc.css
-rw-r--r-- 2467 config.css
-rw-r--r-- 3444 config.js
-rw-r--r-- 2670 feed.css
drwxr-xr-x - images
-rw-r--r-- 7683 oldshared.css
-rw-r--r-- 9394 protect.js
-rw-r--r-- 23765 shared.css
-rw-r--r-- 9610 upload.js
-rw-r--r-- 6698 wikibits.js