Update migrateUserGroup to deal with primary key issue
[mediawiki.git] / serialized / Makefile
blob062155b6844a472beef370909f0312877a5a2ff2
2 SPECIAL_TARGETS=Utf8Case.ser
3 ALL_TARGETS=$(SPECIAL_TARGETS)
4 DIST_TARGETS=$(SPECIAL_TARGETS)
6 .PHONY: all dist clean
8 all: $(ALL_TARGETS)
9 @echo 'Warning: messages are no longer serialized by this makefile.'
11 dist: $(DIST_TARGETS)
13 clean:
14 rm -f $(ALL_TARGETS)
16 Utf8Case.ser : ../includes/normal/Utf8Case.php
17 php serialize.php -o $@ $<