author | Jeroen De Dauw <jeroendedauw@users.mediawiki.org> | |
Mon, 19 Jul 2010 04:23:39 +0000 (04:23 +0000) | ||
committer | Jeroen De Dauw <jeroendedauw@users.mediawiki.org> | |
Mon, 19 Jul 2010 04:23:39 +0000 (04:23 +0000) | ||
commit | d650e70e7ee113b32c2d4a6c170694ee6b2f06dd | |
tree | 23d550b0bae511ab8ffda9958f224e1b145f189d | tree | snapshot |
parent | c8f72a02bf92cf0f9647ec13f308dc6023744811 | commit | diff |
includes/Preferences.php | diff | blob | history |