This file is indexed.

/usr/share/IlohaMail/include/ryosdates.inc is in ilohamail 0.8.14-0rc3sid6.2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
<?php
/////////////////////////////////////////////////////////
//	
//	include/ryosdates.inc
//
//	(C)Copyright 2000-2002 Ryo Chijiiwa <Ryo@IlohaMail.org>
//
//	This file is part of IlohaMail. IlohaMail is free software released 
//	under the GPL license.  See enclosed file COPYING for details, or 
//	see http://www.fsf.org/copyleft/gpl.html
//
/////////////////////////////////////////////////////////

/********************************************************

	PURPOSE:
		Miscellaneous date/time related functions, most of which are more or less useless.
		Acts as a place holder for all the dates Ryo never had.
	PRE-CONDITIONS:
		Ryo had no dates
	POST-CONDITIONS:
		Ryo still has no dates
	COMMENTS:
		What, you want me to comment on that?

********************************************************/

function GetCurrentMonth(){
	$theTime=time();
	$theDate=getdate($theTime);
	$month=$theDate[mon];
	return $month;
}

function GetCurrentDay(){
	$theTime=time();
	$theDate=getdate($theTime);
	$day=$theDate[mday];		
	return $day;
}

function GetCurrentYear(){
	$theTime=time();
	$theDate=getdate($theTime);
	$year=$theDate[year];
	return $year;
}

function GetCurrentHour(){
	$theTime=time();
	$theDate=getdate($theTime);
	$hour=$theDate[hours];
	return $hour;
}

function GetCurrentMinute(){
	$theTime=time();
	$theDate=getdate($theTime);
	$minute=$theDate[minutes];
	return $minute;
}

function GetCurrentSeconds(){
	$theTime=time();
	$theDate=getdate($theTime);
	$minute=$theDate[seconds];
	return $minute;
}

function GetDateString($mode){
	$theTime=time();
	$theDate=getdate($theTime);
	$year=$theDate[year];
	$month=$theDate[mon];
	$day=$theDate[mday];
	$hour=$theDate[hours];
	$minute=$theDate[minutes];
	return $month;

	if ($mode="MMDDYYYY"){
		return $month."-".$day."-".$year;
	}else{
		return "";
	}
}

function GetLastDayOfMonth($m){
	if (($m==1)||($m==3)||($m==5)||($m==7)||($m==8)||($m==10)||($m==12)){
		return 31;
	}else if (($m==4)||($m==6)||($m==9)||($m==11)){
		return 30;
	}else if ($m==2){
		$year=GetCurrentYear();
		if (($year%4)!=0)
			return 28;
		else if (($year%4)==0){
			$d=29;
			if (($year%100)==0)
				$d=28;
			if (($year%400)==0)
				$d=29;
			return $d;
		}
	}
}

function PreviousMonth($m){
	$p=$m-1;
	if ($p==0) $p=12;
	return $p;
}

function NextMonth($m){
	$p=$m+1;
	if ($p==13) $p=1;
	return $p;
}

function NumToTimeString($i){
	$m=$i % 60;
	$h=($i-$m)/60;
	if ($m<10)
		return $h.":0".$m;
	else
		return $h.":".$m;

}
?>