revert previous erroneous bug fix
commita710f7db9b6725727253eab5c01896c98866ddef
authorbradymiller <bradymiller>
Wed, 28 Jul 2010 17:03:07 +0000 (28 17:03 +0000)
committerbradymiller <bradymiller>
Wed, 28 Jul 2010 17:03:07 +0000 (28 17:03 +0000)
tree0581be8e08741e45558cbf1d0854680816b4e5d4
parentde23d0f60367aba54dace93cef158a9714e7b76b
revert previous erroneous bug fix
library/options.inc.php