Islamic date/time functions is a GNOME Shell extension that adds Hijri date and prayer times to the date menu of the GNOME 3 desktop environment.

To install this extension you must have GNOME Shell installed or Cinnamon. However, keep in mind that it was not tested with Cinnamon.