* Differences in the history page now uses slightly better colors for people
perceiving colors differently. Colors comes from the French Wikipedia.
* (bug 32879) Upgrade jQuery to 1.7.1
+* jQuery UI upgraded to 1.8.17
=== Bug fixes in 1.19 ===
* $wgUploadNavigationUrl should be used for file redlinks if.
/**
* Create the object and open the file
+ *
+ * @param $fileName string
*/
abstract function __construct( $fileName );
/**
* Set a key to a given value. The value will be converted to string.
+ * @param $key string
+ * @param $value string
*/
abstract public function set( $key, $value );
abstract public function close();
}
-
/**
* Reader class which uses the DBA extension
*/