Cleanup for r37830 & earlier ($wgDirectoryMode default to wfMkdirParents()):
authorBrion Vibber <brion@users.mediawiki.org>
Sat, 19 Jul 2008 07:29:43 +0000 (07:29 +0000)
committerBrion Vibber <brion@users.mediawiki.org>
Sat, 19 Jul 2008 07:29:43 +0000 (07:29 +0000)
commitb006e958520927f98121a186ff90c2d54821f7bf
tree9b03488abe8e79e04598df62cda4002daf577813
parent90b0b19b506a7f2103c676f4683c1f9428063e46
Cleanup for r37830 & earlier ($wgDirectoryMode default to wfMkdirParents()):
Just check is_null() here. is_int() isn't necessarily safe, as numbers frequently get passed around in what are really strings. :)
includes/GlobalFunctions.php