Cleaner Facebook and Gmail

I've started playing with userstyles.org and, as of this writing, have made two scripts:

Cleaner Facebook

Cleaner Gmail

I like to think of a user style as a persistent Firebug (for CSS).

Good phpDocumentor theme

You might check out this theme for phpDocumentor. I like it a lot better than the default.

Usage example

phpdoc -o HTML:Smarty/Evolve:default -d wordpress -t wordpress/docs_evolv

How to use phpDocumentor on WordPress (on Mac)

Here are the steps it took for me to get phpDocumentor to create documentation for a WordPress installation.

Steps

1. Open phpDocumentor.ini*
2. Uncomment the line (line 25 for me) starting with "memory_limit"
3. Set memory_limit to "2048M"**
4. Open Terminal and go to the directory above the one your wordpress installation
5. Use phpdoc (takes a few minutes)

Example

phpdoc -o HTML:frames:earthli -d wordpress -t wordpress/docs

* I'm using MAMP and my directory is /Applications/MAMP/htdocs/phpdoc/.
** Probably overkill; consider available RAM. For me, 1024M wasn't enough. I kept getting this error:

phpdoc FAILED: Bad environment variable $PHP (set to "/usr/bin/php")

Blackmine

I want to make a task manager for philosophy students, particularly followers of Existentialism, called Blackmine, in which you are given a predefined and unchangeable set of possible steps or actions, none of which resolve anything and all of which lead back to the beginning.

Greasemonkey script to convert Redmine URLs into actual hyperlinks

I use Redmine and each issue page contains a field identified as "URL(s) to be edited," which contains URLs related to the issue at hand. Unfortunately, these URLs aren't actually linked! They're just text. And I have been tediously copying and pasting each link, one at a time, into a new tab in my browser.

Well, not anymore! Today, to ease my suffering (and to try something new), I created my first Greasemonkey script to convert those text-only URLs into hyperlinks. I hope it's helpful, as this script could be easily modified to work with any text in any HTML element (thanks so much to jQuery).

To use this script, first install a Greasemonkey-compatible extension in your browser. Greasemonkey has traditionally been primarily used in Firefox, but you can also add Greasemonkey support in Chrome (and probably IE, but why even check?). Then, install my script! And modify to suit your own needs.