class POMO_CachedIntFileReader extends POMO_CachedFileReader {
		/**
		 * PHP5 constructor.
		 */
		public function __construct( $filename ) {
			parent::POMO_CachedFileReader( $filename );
		}

		/**
		 * PHP4 constructor.
		 */
		function POMO_CachedIntFileReader( $filename ) {
			self::__construct( $filename );
		}
	}