only init if not already done so
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Mon, 19 Mar 2012 22:37:05 +0000 (22:37 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Mon, 19 Mar 2012 22:37:05 +0000 (22:37 +0000)
commit2954d2dff5b665f3ce127454abb4c835af833f8e
treef16b9bf992291aa38d1f656b1a3b3686345d43e6
parentdaa4e524b7b6d36e87fced87e2ce379f0cf137c8
only init if not already done so
includes/specials/SpecialCachedPage.php