+++ /dev/null
-<?php
-
-function read_whole_file($name) {
- $fd = fopen($name, 'r');
- if($fd === false) {
- die("Failed to read file: '$name'");
- }
- $file_data = fread($fd, filesize($name));
- fclose($fd);
- return $file_data;
-}
-
-function unix_newlines($str) {
- $str = str_replace("\r\n", "\n", $str);
- return str_replace("\r", "\n", $str);
-}
-
-# return current year (all 4 digits)
-function this_year() {
- return strftime('%Y');
-}
-
-# return the number of the current month (1..12)
-function this_month() {
- return strftime('%m');
-}
-
-?>
--- /dev/null
+<?php
+
+function read_whole_file($name) {
+ $fd = fopen($name, 'r');
+ if($fd === false) {
+ die("Failed to read file: '$name'");
+ }
+ $file_data = fread($fd, filesize($name));
+ fclose($fd);
+ return $file_data;
+}
+
+function unix_newlines($str) {
+ $str = str_replace("\r\n", "\n", $str);
+ return str_replace("\r", "\n", $str);
+}
+
+# return current year (all 4 digits)
+function this_year() {
+ return strftime('%Y');
+}
+
+# return the number of the current month (1..12)
+function this_month() {
+ return strftime('%m');
+}
+
+?>
# them is run
require_once('code/wfpl/encode.php');
-require_once('code/wfpl/basics.php');
+require_once('code/wfpl/misc.php'); # to get read_whole_file()
class tem {
var $keyval; # an array containing key/value pairs